// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_SCVTF_4S_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_SCVTF_4S_2OPIMM_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_scvtf_4S_2OPIMM[] = {
  0xc3000000, 0xbf800000, 0xbf800000, 0x00000000,
  0xc2800000, 0xbf000000, 0xbf000000, 0x00000000,
  0xc2000000, 0xbe800000, 0xbe800000, 0x00000000,
  0xc1800000, 0xbe000000, 0xbe000000, 0x00000000,
  0xc1000000, 0xbd800000, 0xbd800000, 0x00000000,
  0xc0800000, 0xbd000000, 0xbd000000, 0x00000000,
  0xc0000000, 0xbc800000, 0xbc800000, 0x00000000,
  0xbf800000, 0xbc000000, 0xbc000000, 0x00000000,
  0xbf000000, 0xbb800000, 0xbb800000, 0x00000000,
  0xbe800000, 0xbb000000, 0xbb000000, 0x00000000,
  0xbe000000, 0xba800000, 0xba800000, 0x00000000,
  0xbd800000, 0xba000000, 0xba000000, 0x00000000,
  0xbd000000, 0xb9800000, 0xb9800000, 0x00000000,
  0xbc800000, 0xb9000000, 0xb9000000, 0x00000000,
  0xbc000000, 0xb8800000, 0xb8800000, 0x00000000,
  0xbb800000, 0xb8000000, 0xb8000000, 0x00000000,
  0xbb000000, 0xb7800000, 0xb7800000, 0x00000000,
  0xba800000, 0xb7000000, 0xb7000000, 0x00000000,
  0xba000000, 0xb6800000, 0xb6800000, 0x00000000,
  0xb9800000, 0xb6000000, 0xb6000000, 0x00000000,
  0xb9000000, 0xb5800000, 0xb5800000, 0x00000000,
  0xb8800000, 0xb5000000, 0xb5000000, 0x00000000,
  0xb8000000, 0xb4800000, 0xb4800000, 0x00000000,
  0xb7800000, 0xb4000000, 0xb4000000, 0x00000000,
  0xb7000000, 0xb3800000, 0xb3800000, 0x00000000,
  0xb6800000, 0xb3000000, 0xb3000000, 0x00000000,
  0xb6000000, 0xb2800000, 0xb2800000, 0x00000000,
  0xb5800000, 0xb2000000, 0xb2000000, 0x00000000,
  0xb5000000, 0xb1800000, 0xb1800000, 0x00000000,
  0xb4800000, 0xb1000000, 0xb1000000, 0x00000000,
  0xb4000000, 0xb0800000, 0xb0800000, 0x00000000,
  0xb3800000, 0xb0000000, 0xb0000000, 0x00000000,
  0xb3000000, 0xaf800000, 0xaf800000, 0x00000000,
  0xbf800000, 0xbf800000, 0x00000000, 0x3f800000,
  0xbf000000, 0xbf000000, 0x00000000, 0x3f000000,
  0xbe800000, 0xbe800000, 0x00000000, 0x3e800000,
  0xbe000000, 0xbe000000, 0x00000000, 0x3e000000,
  0xbd800000, 0xbd800000, 0x00000000, 0x3d800000,
  0xbd000000, 0xbd000000, 0x00000000, 0x3d000000,
  0xbc800000, 0xbc800000, 0x00000000, 0x3c800000,
  0xbc000000, 0xbc000000, 0x00000000, 0x3c000000,
  0xbb800000, 0xbb800000, 0x00000000, 0x3b800000,
  0xbb000000, 0xbb000000, 0x00000000, 0x3b000000,
  0xba800000, 0xba800000, 0x00000000, 0x3a800000,
  0xba000000, 0xba000000, 0x00000000, 0x3a000000,
  0xb9800000, 0xb9800000, 0x00000000, 0x39800000,
  0xb9000000, 0xb9000000, 0x00000000, 0x39000000,
  0xb8800000, 0xb8800000, 0x00000000, 0x38800000,
  0xb8000000, 0xb8000000, 0x00000000, 0x38000000,
  0xb7800000, 0xb7800000, 0x00000000, 0x37800000,
  0xb7000000, 0xb7000000, 0x00000000, 0x37000000,
  0xb6800000, 0xb6800000, 0x00000000, 0x36800000,
  0xb6000000, 0xb6000000, 0x00000000, 0x36000000,
  0xb5800000, 0xb5800000, 0x00000000, 0x35800000,
  0xb5000000, 0xb5000000, 0x00000000, 0x35000000,
  0xb4800000, 0xb4800000, 0x00000000, 0x34800000,
  0xb4000000, 0xb4000000, 0x00000000, 0x34000000,
  0xb3800000, 0xb3800000, 0x00000000, 0x33800000,
  0xb3000000, 0xb3000000, 0x00000000, 0x33000000,
  0xb2800000, 0xb2800000, 0x00000000, 0x32800000,
  0xb2000000, 0xb2000000, 0x00000000, 0x32000000,
  0xb1800000, 0xb1800000, 0x00000000, 0x31800000,
  0xb1000000, 0xb1000000, 0x00000000, 0x31000000,
  0xb0800000, 0xb0800000, 0x00000000, 0x30800000,
  0xb0000000, 0xb0000000, 0x00000000, 0x30000000,
  0xaf800000, 0xaf800000, 0x00000000, 0x2f800000,
  0xbf800000, 0x00000000, 0x3f800000, 0x40000000,
  0xbf000000, 0x00000000, 0x3f000000, 0x3f800000,
  0xbe800000, 0x00000000, 0x3e800000, 0x3f000000,
  0xbe000000, 0x00000000, 0x3e000000, 0x3e800000,
  0xbd800000, 0x00000000, 0x3d800000, 0x3e000000,
  0xbd000000, 0x00000000, 0x3d000000, 0x3d800000,
  0xbc800000, 0x00000000, 0x3c800000, 0x3d000000,
  0xbc000000, 0x00000000, 0x3c000000, 0x3c800000,
  0xbb800000, 0x00000000, 0x3b800000, 0x3c000000,
  0xbb000000, 0x00000000, 0x3b000000, 0x3b800000,
  0xba800000, 0x00000000, 0x3a800000, 0x3b000000,
  0xba000000, 0x00000000, 0x3a000000, 0x3a800000,
  0xb9800000, 0x00000000, 0x39800000, 0x3a000000,
  0xb9000000, 0x00000000, 0x39000000, 0x39800000,
  0xb8800000, 0x00000000, 0x38800000, 0x39000000,
  0xb8000000, 0x00000000, 0x38000000, 0x38800000,
  0xb7800000, 0x00000000, 0x37800000, 0x38000000,
  0xb7000000, 0x00000000, 0x37000000, 0x37800000,
  0xb6800000, 0x00000000, 0x36800000, 0x37000000,
  0xb6000000, 0x00000000, 0x36000000, 0x36800000,
  0xb5800000, 0x00000000, 0x35800000, 0x36000000,
  0xb5000000, 0x00000000, 0x35000000, 0x35800000,
  0xb4800000, 0x00000000, 0x34800000, 0x35000000,
  0xb4000000, 0x00000000, 0x34000000, 0x34800000,
  0xb3800000, 0x00000000, 0x33800000, 0x34000000,
  0xb3000000, 0x00000000, 0x33000000, 0x33800000,
  0xb2800000, 0x00000000, 0x32800000, 0x33000000,
  0xb2000000, 0x00000000, 0x32000000, 0x32800000,
  0xb1800000, 0x00000000, 0x31800000, 0x32000000,
  0xb1000000, 0x00000000, 0x31000000, 0x31800000,
  0xb0800000, 0x00000000, 0x30800000, 0x31000000,
  0xb0000000, 0x00000000, 0x30000000, 0x30800000,
  0xaf800000, 0x00000000, 0x2f800000, 0x30000000,
  0x00000000, 0x3f800000, 0x40000000, 0x42000000,
  0x00000000, 0x3f000000, 0x3f800000, 0x41800000,
  0x00000000, 0x3e800000, 0x3f000000, 0x41000000,
  0x00000000, 0x3e000000, 0x3e800000, 0x40800000,
  0x00000000, 0x3d800000, 0x3e000000, 0x40000000,
  0x00000000, 0x3d000000, 0x3d800000, 0x3f800000,
  0x00000000, 0x3c800000, 0x3d000000, 0x3f000000,
  0x00000000, 0x3c000000, 0x3c800000, 0x3e800000,
  0x00000000, 0x3b800000, 0x3c000000, 0x3e000000,
  0x00000000, 0x3b000000, 0x3b800000, 0x3d800000,
  0x00000000, 0x3a800000, 0x3b000000, 0x3d000000,
  0x00000000, 0x3a000000, 0x3a800000, 0x3c800000,
  0x00000000, 0x39800000, 0x3a000000, 0x3c000000,
  0x00000000, 0x39000000, 0x39800000, 0x3b800000,
  0x00000000, 0x38800000, 0x39000000, 0x3b000000,
  0x00000000, 0x38000000, 0x38800000, 0x3a800000,
  0x00000000, 0x37800000, 0x38000000, 0x3a000000,
  0x00000000, 0x37000000, 0x37800000, 0x39800000,
  0x00000000, 0x36800000, 0x37000000, 0x39000000,
  0x00000000, 0x36000000, 0x36800000, 0x38800000,
  0x00000000, 0x35800000, 0x36000000, 0x38000000,
  0x00000000, 0x35000000, 0x35800000, 0x37800000,
  0x00000000, 0x34800000, 0x35000000, 0x37000000,
  0x00000000, 0x34000000, 0x34800000, 0x36800000,
  0x00000000, 0x33800000, 0x34000000, 0x36000000,
  0x00000000, 0x33000000, 0x33800000, 0x35800000,
  0x00000000, 0x32800000, 0x33000000, 0x35000000,
  0x00000000, 0x32000000, 0x32800000, 0x34800000,
  0x00000000, 0x31800000, 0x32000000, 0x34000000,
  0x00000000, 0x31000000, 0x31800000, 0x33800000,
  0x00000000, 0x30800000, 0x31000000, 0x33000000,
  0x00000000, 0x30000000, 0x30800000, 0x32800000,
  0x00000000, 0x2f800000, 0x30000000, 0x32000000,
  0x3f800000, 0x40000000, 0x42000000, 0x42fa0000,
  0x3f000000, 0x3f800000, 0x41800000, 0x427a0000,
  0x3e800000, 0x3f000000, 0x41000000, 0x41fa0000,
  0x3e000000, 0x3e800000, 0x40800000, 0x417a0000,
  0x3d800000, 0x3e000000, 0x40000000, 0x40fa0000,
  0x3d000000, 0x3d800000, 0x3f800000, 0x407a0000,
  0x3c800000, 0x3d000000, 0x3f000000, 0x3ffa0000,
  0x3c000000, 0x3c800000, 0x3e800000, 0x3f7a0000,
  0x3b800000, 0x3c000000, 0x3e000000, 0x3efa0000,
  0x3b000000, 0x3b800000, 0x3d800000, 0x3e7a0000,
  0x3a800000, 0x3b000000, 0x3d000000, 0x3dfa0000,
  0x3a000000, 0x3a800000, 0x3c800000, 0x3d7a0000,
  0x39800000, 0x3a000000, 0x3c000000, 0x3cfa0000,
  0x39000000, 0x39800000, 0x3b800000, 0x3c7a0000,
  0x38800000, 0x39000000, 0x3b000000, 0x3bfa0000,
  0x38000000, 0x38800000, 0x3a800000, 0x3b7a0000,
  0x37800000, 0x38000000, 0x3a000000, 0x3afa0000,
  0x37000000, 0x37800000, 0x39800000, 0x3a7a0000,
  0x36800000, 0x37000000, 0x39000000, 0x39fa0000,
  0x36000000, 0x36800000, 0x38800000, 0x397a0000,
  0x35800000, 0x36000000, 0x38000000, 0x38fa0000,
  0x35000000, 0x35800000, 0x37800000, 0x387a0000,
  0x34800000, 0x35000000, 0x37000000, 0x37fa0000,
  0x34000000, 0x34800000, 0x36800000, 0x377a0000,
  0x33800000, 0x34000000, 0x36000000, 0x36fa0000,
  0x33000000, 0x33800000, 0x35800000, 0x367a0000,
  0x32800000, 0x33000000, 0x35000000, 0x35fa0000,
  0x32000000, 0x32800000, 0x34800000, 0x357a0000,
  0x31800000, 0x32000000, 0x34000000, 0x34fa0000,
  0x31000000, 0x31800000, 0x33800000, 0x347a0000,
  0x30800000, 0x31000000, 0x33000000, 0x33fa0000,
  0x30000000, 0x30800000, 0x32800000, 0x337a0000,
  0x2f800000, 0x30000000, 0x32000000, 0x32fa0000,
  0x40000000, 0x42000000, 0x42fa0000, 0x42fc0000,
  0x3f800000, 0x41800000, 0x427a0000, 0x427c0000,
  0x3f000000, 0x41000000, 0x41fa0000, 0x41fc0000,
  0x3e800000, 0x40800000, 0x417a0000, 0x417c0000,
  0x3e000000, 0x40000000, 0x40fa0000, 0x40fc0000,
  0x3d800000, 0x3f800000, 0x407a0000, 0x407c0000,
  0x3d000000, 0x3f000000, 0x3ffa0000, 0x3ffc0000,
  0x3c800000, 0x3e800000, 0x3f7a0000, 0x3f7c0000,
  0x3c000000, 0x3e000000, 0x3efa0000, 0x3efc0000,
  0x3b800000, 0x3d800000, 0x3e7a0000, 0x3e7c0000,
  0x3b000000, 0x3d000000, 0x3dfa0000, 0x3dfc0000,
  0x3a800000, 0x3c800000, 0x3d7a0000, 0x3d7c0000,
  0x3a000000, 0x3c000000, 0x3cfa0000, 0x3cfc0000,
  0x39800000, 0x3b800000, 0x3c7a0000, 0x3c7c0000,
  0x39000000, 0x3b000000, 0x3bfa0000, 0x3bfc0000,
  0x38800000, 0x3a800000, 0x3b7a0000, 0x3b7c0000,
  0x38000000, 0x3a000000, 0x3afa0000, 0x3afc0000,
  0x37800000, 0x39800000, 0x3a7a0000, 0x3a7c0000,
  0x37000000, 0x39000000, 0x39fa0000, 0x39fc0000,
  0x36800000, 0x38800000, 0x397a0000, 0x397c0000,
  0x36000000, 0x38000000, 0x38fa0000, 0x38fc0000,
  0x35800000, 0x37800000, 0x387a0000, 0x387c0000,
  0x35000000, 0x37000000, 0x37fa0000, 0x37fc0000,
  0x34800000, 0x36800000, 0x377a0000, 0x377c0000,
  0x34000000, 0x36000000, 0x36fa0000, 0x36fc0000,
  0x33800000, 0x35800000, 0x367a0000, 0x367c0000,
  0x33000000, 0x35000000, 0x35fa0000, 0x35fc0000,
  0x32800000, 0x34800000, 0x357a0000, 0x357c0000,
  0x32000000, 0x34000000, 0x34fa0000, 0x34fc0000,
  0x31800000, 0x33800000, 0x347a0000, 0x347c0000,
  0x31000000, 0x33000000, 0x33fa0000, 0x33fc0000,
  0x30800000, 0x32800000, 0x337a0000, 0x337c0000,
  0x30000000, 0x32000000, 0x32fa0000, 0x32fc0000,
  0x42000000, 0x42fa0000, 0x42fc0000, 0x42fe0000,
  0x41800000, 0x427a0000, 0x427c0000, 0x427e0000,
  0x41000000, 0x41fa0000, 0x41fc0000, 0x41fe0000,
  0x40800000, 0x417a0000, 0x417c0000, 0x417e0000,
  0x40000000, 0x40fa0000, 0x40fc0000, 0x40fe0000,
  0x3f800000, 0x407a0000, 0x407c0000, 0x407e0000,
  0x3f000000, 0x3ffa0000, 0x3ffc0000, 0x3ffe0000,
  0x3e800000, 0x3f7a0000, 0x3f7c0000, 0x3f7e0000,
  0x3e000000, 0x3efa0000, 0x3efc0000, 0x3efe0000,
  0x3d800000, 0x3e7a0000, 0x3e7c0000, 0x3e7e0000,
  0x3d000000, 0x3dfa0000, 0x3dfc0000, 0x3dfe0000,
  0x3c800000, 0x3d7a0000, 0x3d7c0000, 0x3d7e0000,
  0x3c000000, 0x3cfa0000, 0x3cfc0000, 0x3cfe0000,
  0x3b800000, 0x3c7a0000, 0x3c7c0000, 0x3c7e0000,
  0x3b000000, 0x3bfa0000, 0x3bfc0000, 0x3bfe0000,
  0x3a800000, 0x3b7a0000, 0x3b7c0000, 0x3b7e0000,
  0x3a000000, 0x3afa0000, 0x3afc0000, 0x3afe0000,
  0x39800000, 0x3a7a0000, 0x3a7c0000, 0x3a7e0000,
  0x39000000, 0x39fa0000, 0x39fc0000, 0x39fe0000,
  0x38800000, 0x397a0000, 0x397c0000, 0x397e0000,
  0x38000000, 0x38fa0000, 0x38fc0000, 0x38fe0000,
  0x37800000, 0x387a0000, 0x387c0000, 0x387e0000,
  0x37000000, 0x37fa0000, 0x37fc0000, 0x37fe0000,
  0x36800000, 0x377a0000, 0x377c0000, 0x377e0000,
  0x36000000, 0x36fa0000, 0x36fc0000, 0x36fe0000,
  0x35800000, 0x367a0000, 0x367c0000, 0x367e0000,
  0x35000000, 0x35fa0000, 0x35fc0000, 0x35fe0000,
  0x34800000, 0x357a0000, 0x357c0000, 0x357e0000,
  0x34000000, 0x34fa0000, 0x34fc0000, 0x34fe0000,
  0x33800000, 0x347a0000, 0x347c0000, 0x347e0000,
  0x33000000, 0x33fa0000, 0x33fc0000, 0x33fe0000,
  0x32800000, 0x337a0000, 0x337c0000, 0x337e0000,
  0x32000000, 0x32fa0000, 0x32fc0000, 0x32fe0000,
  0x42fa0000, 0x42fc0000, 0x42fe0000, 0x46fffa00,
  0x427a0000, 0x427c0000, 0x427e0000, 0x467ffa00,
  0x41fa0000, 0x41fc0000, 0x41fe0000, 0x45fffa00,
  0x417a0000, 0x417c0000, 0x417e0000, 0x457ffa00,
  0x40fa0000, 0x40fc0000, 0x40fe0000, 0x44fffa00,
  0x407a0000, 0x407c0000, 0x407e0000, 0x447ffa00,
  0x3ffa0000, 0x3ffc0000, 0x3ffe0000, 0x43fffa00,
  0x3f7a0000, 0x3f7c0000, 0x3f7e0000, 0x437ffa00,
  0x3efa0000, 0x3efc0000, 0x3efe0000, 0x42fffa00,
  0x3e7a0000, 0x3e7c0000, 0x3e7e0000, 0x427ffa00,
  0x3dfa0000, 0x3dfc0000, 0x3dfe0000, 0x41fffa00,
  0x3d7a0000, 0x3d7c0000, 0x3d7e0000, 0x417ffa00,
  0x3cfa0000, 0x3cfc0000, 0x3cfe0000, 0x40fffa00,
  0x3c7a0000, 0x3c7c0000, 0x3c7e0000, 0x407ffa00,
  0x3bfa0000, 0x3bfc0000, 0x3bfe0000, 0x3ffffa00,
  0x3b7a0000, 0x3b7c0000, 0x3b7e0000, 0x3f7ffa00,
  0x3afa0000, 0x3afc0000, 0x3afe0000, 0x3efffa00,
  0x3a7a0000, 0x3a7c0000, 0x3a7e0000, 0x3e7ffa00,
  0x39fa0000, 0x39fc0000, 0x39fe0000, 0x3dfffa00,
  0x397a0000, 0x397c0000, 0x397e0000, 0x3d7ffa00,
  0x38fa0000, 0x38fc0000, 0x38fe0000, 0x3cfffa00,
  0x387a0000, 0x387c0000, 0x387e0000, 0x3c7ffa00,
  0x37fa0000, 0x37fc0000, 0x37fe0000, 0x3bfffa00,
  0x377a0000, 0x377c0000, 0x377e0000, 0x3b7ffa00,
  0x36fa0000, 0x36fc0000, 0x36fe0000, 0x3afffa00,
  0x367a0000, 0x367c0000, 0x367e0000, 0x3a7ffa00,
  0x35fa0000, 0x35fc0000, 0x35fe0000, 0x39fffa00,
  0x357a0000, 0x357c0000, 0x357e0000, 0x397ffa00,
  0x34fa0000, 0x34fc0000, 0x34fe0000, 0x38fffa00,
  0x347a0000, 0x347c0000, 0x347e0000, 0x387ffa00,
  0x33fa0000, 0x33fc0000, 0x33fe0000, 0x37fffa00,
  0x337a0000, 0x337c0000, 0x337e0000, 0x377ffa00,
  0x32fa0000, 0x32fc0000, 0x32fe0000, 0x36fffa00,
  0x42fc0000, 0x42fe0000, 0x46fffa00, 0x46fffc00,
  0x427c0000, 0x427e0000, 0x467ffa00, 0x467ffc00,
  0x41fc0000, 0x41fe0000, 0x45fffa00, 0x45fffc00,
  0x417c0000, 0x417e0000, 0x457ffa00, 0x457ffc00,
  0x40fc0000, 0x40fe0000, 0x44fffa00, 0x44fffc00,
  0x407c0000, 0x407e0000, 0x447ffa00, 0x447ffc00,
  0x3ffc0000, 0x3ffe0000, 0x43fffa00, 0x43fffc00,
  0x3f7c0000, 0x3f7e0000, 0x437ffa00, 0x437ffc00,
  0x3efc0000, 0x3efe0000, 0x42fffa00, 0x42fffc00,
  0x3e7c0000, 0x3e7e0000, 0x427ffa00, 0x427ffc00,
  0x3dfc0000, 0x3dfe0000, 0x41fffa00, 0x41fffc00,
  0x3d7c0000, 0x3d7e0000, 0x417ffa00, 0x417ffc00,
  0x3cfc0000, 0x3cfe0000, 0x40fffa00, 0x40fffc00,
  0x3c7c0000, 0x3c7e0000, 0x407ffa00, 0x407ffc00,
  0x3bfc0000, 0x3bfe0000, 0x3ffffa00, 0x3ffffc00,
  0x3b7c0000, 0x3b7e0000, 0x3f7ffa00, 0x3f7ffc00,
  0x3afc0000, 0x3afe0000, 0x3efffa00, 0x3efffc00,
  0x3a7c0000, 0x3a7e0000, 0x3e7ffa00, 0x3e7ffc00,
  0x39fc0000, 0x39fe0000, 0x3dfffa00, 0x3dfffc00,
  0x397c0000, 0x397e0000, 0x3d7ffa00, 0x3d7ffc00,
  0x38fc0000, 0x38fe0000, 0x3cfffa00, 0x3cfffc00,
  0x387c0000, 0x387e0000, 0x3c7ffa00, 0x3c7ffc00,
  0x37fc0000, 0x37fe0000, 0x3bfffa00, 0x3bfffc00,
  0x377c0000, 0x377e0000, 0x3b7ffa00, 0x3b7ffc00,
  0x36fc0000, 0x36fe0000, 0x3afffa00, 0x3afffc00,
  0x367c0000, 0x367e0000, 0x3a7ffa00, 0x3a7ffc00,
  0x35fc0000, 0x35fe0000, 0x39fffa00, 0x39fffc00,
  0x357c0000, 0x357e0000, 0x397ffa00, 0x397ffc00,
  0x34fc0000, 0x34fe0000, 0x38fffa00, 0x38fffc00,
  0x347c0000, 0x347e0000, 0x387ffa00, 0x387ffc00,
  0x33fc0000, 0x33fe0000, 0x37fffa00, 0x37fffc00,
  0x337c0000, 0x337e0000, 0x377ffa00, 0x377ffc00,
  0x32fc0000, 0x32fe0000, 0x36fffa00, 0x36fffc00,
  0x42fe0000, 0x46fffa00, 0x46fffc00, 0x46fffe00,
  0x427e0000, 0x467ffa00, 0x467ffc00, 0x467ffe00,
  0x41fe0000, 0x45fffa00, 0x45fffc00, 0x45fffe00,
  0x417e0000, 0x457ffa00, 0x457ffc00, 0x457ffe00,
  0x40fe0000, 0x44fffa00, 0x44fffc00, 0x44fffe00,
  0x407e0000, 0x447ffa00, 0x447ffc00, 0x447ffe00,
  0x3ffe0000, 0x43fffa00, 0x43fffc00, 0x43fffe00,
  0x3f7e0000, 0x437ffa00, 0x437ffc00, 0x437ffe00,
  0x3efe0000, 0x42fffa00, 0x42fffc00, 0x42fffe00,
  0x3e7e0000, 0x427ffa00, 0x427ffc00, 0x427ffe00,
  0x3dfe0000, 0x41fffa00, 0x41fffc00, 0x41fffe00,
  0x3d7e0000, 0x417ffa00, 0x417ffc00, 0x417ffe00,
  0x3cfe0000, 0x40fffa00, 0x40fffc00, 0x40fffe00,
  0x3c7e0000, 0x407ffa00, 0x407ffc00, 0x407ffe00,
  0x3bfe0000, 0x3ffffa00, 0x3ffffc00, 0x3ffffe00,
  0x3b7e0000, 0x3f7ffa00, 0x3f7ffc00, 0x3f7ffe00,
  0x3afe0000, 0x3efffa00, 0x3efffc00, 0x3efffe00,
  0x3a7e0000, 0x3e7ffa00, 0x3e7ffc00, 0x3e7ffe00,
  0x39fe0000, 0x3dfffa00, 0x3dfffc00, 0x3dfffe00,
  0x397e0000, 0x3d7ffa00, 0x3d7ffc00, 0x3d7ffe00,
  0x38fe0000, 0x3cfffa00, 0x3cfffc00, 0x3cfffe00,
  0x387e0000, 0x3c7ffa00, 0x3c7ffc00, 0x3c7ffe00,
  0x37fe0000, 0x3bfffa00, 0x3bfffc00, 0x3bfffe00,
  0x377e0000, 0x3b7ffa00, 0x3b7ffc00, 0x3b7ffe00,
  0x36fe0000, 0x3afffa00, 0x3afffc00, 0x3afffe00,
  0x367e0000, 0x3a7ffa00, 0x3a7ffc00, 0x3a7ffe00,
  0x35fe0000, 0x39fffa00, 0x39fffc00, 0x39fffe00,
  0x357e0000, 0x397ffa00, 0x397ffc00, 0x397ffe00,
  0x34fe0000, 0x38fffa00, 0x38fffc00, 0x38fffe00,
  0x347e0000, 0x387ffa00, 0x387ffc00, 0x387ffe00,
  0x33fe0000, 0x37fffa00, 0x37fffc00, 0x37fffe00,
  0x337e0000, 0x377ffa00, 0x377ffc00, 0x377ffe00,
  0x32fe0000, 0x36fffa00, 0x36fffc00, 0x36fffe00,
  0x46fffa00, 0x46fffc00, 0x46fffe00, 0x4e4ccccd,
  0x467ffa00, 0x467ffc00, 0x467ffe00, 0x4dcccccd,
  0x45fffa00, 0x45fffc00, 0x45fffe00, 0x4d4ccccd,
  0x457ffa00, 0x457ffc00, 0x457ffe00, 0x4ccccccd,
  0x44fffa00, 0x44fffc00, 0x44fffe00, 0x4c4ccccd,
  0x447ffa00, 0x447ffc00, 0x447ffe00, 0x4bcccccd,
  0x43fffa00, 0x43fffc00, 0x43fffe00, 0x4b4ccccd,
  0x437ffa00, 0x437ffc00, 0x437ffe00, 0x4acccccd,
  0x42fffa00, 0x42fffc00, 0x42fffe00, 0x4a4ccccd,
  0x427ffa00, 0x427ffc00, 0x427ffe00, 0x49cccccd,
  0x41fffa00, 0x41fffc00, 0x41fffe00, 0x494ccccd,
  0x417ffa00, 0x417ffc00, 0x417ffe00, 0x48cccccd,
  0x40fffa00, 0x40fffc00, 0x40fffe00, 0x484ccccd,
  0x407ffa00, 0x407ffc00, 0x407ffe00, 0x47cccccd,
  0x3ffffa00, 0x3ffffc00, 0x3ffffe00, 0x474ccccd,
  0x3f7ffa00, 0x3f7ffc00, 0x3f7ffe00, 0x46cccccd,
  0x3efffa00, 0x3efffc00, 0x3efffe00, 0x464ccccd,
  0x3e7ffa00, 0x3e7ffc00, 0x3e7ffe00, 0x45cccccd,
  0x3dfffa00, 0x3dfffc00, 0x3dfffe00, 0x454ccccd,
  0x3d7ffa00, 0x3d7ffc00, 0x3d7ffe00, 0x44cccccd,
  0x3cfffa00, 0x3cfffc00, 0x3cfffe00, 0x444ccccd,
  0x3c7ffa00, 0x3c7ffc00, 0x3c7ffe00, 0x43cccccd,
  0x3bfffa00, 0x3bfffc00, 0x3bfffe00, 0x434ccccd,
  0x3b7ffa00, 0x3b7ffc00, 0x3b7ffe00, 0x42cccccd,
  0x3afffa00, 0x3afffc00, 0x3afffe00, 0x424ccccd,
  0x3a7ffa00, 0x3a7ffc00, 0x3a7ffe00, 0x41cccccd,
  0x39fffa00, 0x39fffc00, 0x39fffe00, 0x414ccccd,
  0x397ffa00, 0x397ffc00, 0x397ffe00, 0x40cccccd,
  0x38fffa00, 0x38fffc00, 0x38fffe00, 0x404ccccd,
  0x387ffa00, 0x387ffc00, 0x387ffe00, 0x3fcccccd,
  0x37fffa00, 0x37fffc00, 0x37fffe00, 0x3f4ccccd,
  0x377ffa00, 0x377ffc00, 0x377ffe00, 0x3ecccccd,
  0x36fffa00, 0x36fffc00, 0x36fffe00, 0x3e4ccccd,
  0x46fffc00, 0x46fffe00, 0x4e4ccccd, 0x4eaaaaab,
  0x467ffc00, 0x467ffe00, 0x4dcccccd, 0x4e2aaaab,
  0x45fffc00, 0x45fffe00, 0x4d4ccccd, 0x4daaaaab,
  0x457ffc00, 0x457ffe00, 0x4ccccccd, 0x4d2aaaab,
  0x44fffc00, 0x44fffe00, 0x4c4ccccd, 0x4caaaaab,
  0x447ffc00, 0x447ffe00, 0x4bcccccd, 0x4c2aaaab,
  0x43fffc00, 0x43fffe00, 0x4b4ccccd, 0x4baaaaab,
  0x437ffc00, 0x437ffe00, 0x4acccccd, 0x4b2aaaab,
  0x42fffc00, 0x42fffe00, 0x4a4ccccd, 0x4aaaaaab,
  0x427ffc00, 0x427ffe00, 0x49cccccd, 0x4a2aaaab,
  0x41fffc00, 0x41fffe00, 0x494ccccd, 0x49aaaaab,
  0x417ffc00, 0x417ffe00, 0x48cccccd, 0x492aaaab,
  0x40fffc00, 0x40fffe00, 0x484ccccd, 0x48aaaaab,
  0x407ffc00, 0x407ffe00, 0x47cccccd, 0x482aaaab,
  0x3ffffc00, 0x3ffffe00, 0x474ccccd, 0x47aaaaab,
  0x3f7ffc00, 0x3f7ffe00, 0x46cccccd, 0x472aaaab,
  0x3efffc00, 0x3efffe00, 0x464ccccd, 0x46aaaaab,
  0x3e7ffc00, 0x3e7ffe00, 0x45cccccd, 0x462aaaab,
  0x3dfffc00, 0x3dfffe00, 0x454ccccd, 0x45aaaaab,
  0x3d7ffc00, 0x3d7ffe00, 0x44cccccd, 0x452aaaab,
  0x3cfffc00, 0x3cfffe00, 0x444ccccd, 0x44aaaaab,
  0x3c7ffc00, 0x3c7ffe00, 0x43cccccd, 0x442aaaab,
  0x3bfffc00, 0x3bfffe00, 0x434ccccd, 0x43aaaaab,
  0x3b7ffc00, 0x3b7ffe00, 0x42cccccd, 0x432aaaab,
  0x3afffc00, 0x3afffe00, 0x424ccccd, 0x42aaaaab,
  0x3a7ffc00, 0x3a7ffe00, 0x41cccccd, 0x422aaaab,
  0x39fffc00, 0x39fffe00, 0x414ccccd, 0x41aaaaab,
  0x397ffc00, 0x397ffe00, 0x40cccccd, 0x412aaaab,
  0x38fffc00, 0x38fffe00, 0x404ccccd, 0x40aaaaab,
  0x387ffc00, 0x387ffe00, 0x3fcccccd, 0x402aaaab,
  0x37fffc00, 0x37fffe00, 0x3f4ccccd, 0x3faaaaab,
  0x377ffc00, 0x377ffe00, 0x3ecccccd, 0x3f2aaaab,
  0x36fffc00, 0x36fffe00, 0x3e4ccccd, 0x3eaaaaab,
  0x46fffe00, 0x4e4ccccd, 0x4eaaaaab, 0x4f000000,
  0x467ffe00, 0x4dcccccd, 0x4e2aaaab, 0x4e800000,
  0x45fffe00, 0x4d4ccccd, 0x4daaaaab, 0x4e000000,
  0x457ffe00, 0x4ccccccd, 0x4d2aaaab, 0x4d800000,
  0x44fffe00, 0x4c4ccccd, 0x4caaaaab, 0x4d000000,
  0x447ffe00, 0x4bcccccd, 0x4c2aaaab, 0x4c800000,
  0x43fffe00, 0x4b4ccccd, 0x4baaaaab, 0x4c000000,
  0x437ffe00, 0x4acccccd, 0x4b2aaaab, 0x4b800000,
  0x42fffe00, 0x4a4ccccd, 0x4aaaaaab, 0x4b000000,
  0x427ffe00, 0x49cccccd, 0x4a2aaaab, 0x4a800000,
  0x41fffe00, 0x494ccccd, 0x49aaaaab, 0x4a000000,
  0x417ffe00, 0x48cccccd, 0x492aaaab, 0x49800000,
  0x40fffe00, 0x484ccccd, 0x48aaaaab, 0x49000000,
  0x407ffe00, 0x47cccccd, 0x482aaaab, 0x48800000,
  0x3ffffe00, 0x474ccccd, 0x47aaaaab, 0x48000000,
  0x3f7ffe00, 0x46cccccd, 0x472aaaab, 0x47800000,
  0x3efffe00, 0x464ccccd, 0x46aaaaab, 0x47000000,
  0x3e7ffe00, 0x45cccccd, 0x462aaaab, 0x46800000,
  0x3dfffe00, 0x454ccccd, 0x45aaaaab, 0x46000000,
  0x3d7ffe00, 0x44cccccd, 0x452aaaab, 0x45800000,
  0x3cfffe00, 0x444ccccd, 0x44aaaaab, 0x45000000,
  0x3c7ffe00, 0x43cccccd, 0x442aaaab, 0x44800000,
  0x3bfffe00, 0x434ccccd, 0x43aaaaab, 0x44000000,
  0x3b7ffe00, 0x42cccccd, 0x432aaaab, 0x43800000,
  0x3afffe00, 0x424ccccd, 0x42aaaaab, 0x43000000,
  0x3a7ffe00, 0x41cccccd, 0x422aaaab, 0x42800000,
  0x39fffe00, 0x414ccccd, 0x41aaaaab, 0x42000000,
  0x397ffe00, 0x40cccccd, 0x412aaaab, 0x41800000,
  0x38fffe00, 0x404ccccd, 0x40aaaaab, 0x41000000,
  0x387ffe00, 0x3fcccccd, 0x402aaaab, 0x40800000,
  0x37fffe00, 0x3f4ccccd, 0x3faaaaab, 0x40000000,
  0x377ffe00, 0x3ecccccd, 0x3f2aaaab, 0x3f800000,
  0x36fffe00, 0x3e4ccccd, 0x3eaaaaab, 0x3f000000,
  0x4e4ccccd, 0x4eaaaaab, 0x4f000000, 0x4f000000,
  0x4dcccccd, 0x4e2aaaab, 0x4e800000, 0x4e800000,
  0x4d4ccccd, 0x4daaaaab, 0x4e000000, 0x4e000000,
  0x4ccccccd, 0x4d2aaaab, 0x4d800000, 0x4d800000,
  0x4c4ccccd, 0x4caaaaab, 0x4d000000, 0x4d000000,
  0x4bcccccd, 0x4c2aaaab, 0x4c800000, 0x4c800000,
  0x4b4ccccd, 0x4baaaaab, 0x4c000000, 0x4c000000,
  0x4acccccd, 0x4b2aaaab, 0x4b800000, 0x4b800000,
  0x4a4ccccd, 0x4aaaaaab, 0x4b000000, 0x4b000000,
  0x49cccccd, 0x4a2aaaab, 0x4a800000, 0x4a800000,
  0x494ccccd, 0x49aaaaab, 0x4a000000, 0x4a000000,
  0x48cccccd, 0x492aaaab, 0x49800000, 0x49800000,
  0x484ccccd, 0x48aaaaab, 0x49000000, 0x49000000,
  0x47cccccd, 0x482aaaab, 0x48800000, 0x48800000,
  0x474ccccd, 0x47aaaaab, 0x48000000, 0x48000000,
  0x46cccccd, 0x472aaaab, 0x47800000, 0x47800000,
  0x464ccccd, 0x46aaaaab, 0x47000000, 0x47000000,
  0x45cccccd, 0x462aaaab, 0x46800000, 0x46800000,
  0x454ccccd, 0x45aaaaab, 0x46000000, 0x46000000,
  0x44cccccd, 0x452aaaab, 0x45800000, 0x45800000,
  0x444ccccd, 0x44aaaaab, 0x45000000, 0x45000000,
  0x43cccccd, 0x442aaaab, 0x44800000, 0x44800000,
  0x434ccccd, 0x43aaaaab, 0x44000000, 0x44000000,
  0x42cccccd, 0x432aaaab, 0x43800000, 0x43800000,
  0x424ccccd, 0x42aaaaab, 0x43000000, 0x43000000,
  0x41cccccd, 0x422aaaab, 0x42800000, 0x42800000,
  0x414ccccd, 0x41aaaaab, 0x42000000, 0x42000000,
  0x40cccccd, 0x412aaaab, 0x41800000, 0x41800000,
  0x404ccccd, 0x40aaaaab, 0x41000000, 0x41000000,
  0x3fcccccd, 0x402aaaab, 0x40800000, 0x40800000,
  0x3f4ccccd, 0x3faaaaab, 0x40000000, 0x40000000,
  0x3ecccccd, 0x3f2aaaab, 0x3f800000, 0x3f800000,
  0x3e4ccccd, 0x3eaaaaab, 0x3f000000, 0x3f000000,
  0x4eaaaaab, 0x4f000000, 0x4f000000, 0x4f000000,
  0x4e2aaaab, 0x4e800000, 0x4e800000, 0x4e800000,
  0x4daaaaab, 0x4e000000, 0x4e000000, 0x4e000000,
  0x4d2aaaab, 0x4d800000, 0x4d800000, 0x4d800000,
  0x4caaaaab, 0x4d000000, 0x4d000000, 0x4d000000,
  0x4c2aaaab, 0x4c800000, 0x4c800000, 0x4c800000,
  0x4baaaaab, 0x4c000000, 0x4c000000, 0x4c000000,
  0x4b2aaaab, 0x4b800000, 0x4b800000, 0x4b800000,
  0x4aaaaaab, 0x4b000000, 0x4b000000, 0x4b000000,
  0x4a2aaaab, 0x4a800000, 0x4a800000, 0x4a800000,
  0x49aaaaab, 0x4a000000, 0x4a000000, 0x4a000000,
  0x492aaaab, 0x49800000, 0x49800000, 0x49800000,
  0x48aaaaab, 0x49000000, 0x49000000, 0x49000000,
  0x482aaaab, 0x48800000, 0x48800000, 0x48800000,
  0x47aaaaab, 0x48000000, 0x48000000, 0x48000000,
  0x472aaaab, 0x47800000, 0x47800000, 0x47800000,
  0x46aaaaab, 0x47000000, 0x47000000, 0x47000000,
  0x462aaaab, 0x46800000, 0x46800000, 0x46800000,
  0x45aaaaab, 0x46000000, 0x46000000, 0x46000000,
  0x452aaaab, 0x45800000, 0x45800000, 0x45800000,
  0x44aaaaab, 0x45000000, 0x45000000, 0x45000000,
  0x442aaaab, 0x44800000, 0x44800000, 0x44800000,
  0x43aaaaab, 0x44000000, 0x44000000, 0x44000000,
  0x432aaaab, 0x43800000, 0x43800000, 0x43800000,
  0x42aaaaab, 0x43000000, 0x43000000, 0x43000000,
  0x422aaaab, 0x42800000, 0x42800000, 0x42800000,
  0x41aaaaab, 0x42000000, 0x42000000, 0x42000000,
  0x412aaaab, 0x41800000, 0x41800000, 0x41800000,
  0x40aaaaab, 0x41000000, 0x41000000, 0x41000000,
  0x402aaaab, 0x40800000, 0x40800000, 0x40800000,
  0x3faaaaab, 0x40000000, 0x40000000, 0x40000000,
  0x3f2aaaab, 0x3f800000, 0x3f800000, 0x3f800000,
  0x3eaaaaab, 0x3f000000, 0x3f000000, 0x3f000000,
  0x4f000000, 0x4f000000, 0x4f000000, 0xcf000000,
  0x4e800000, 0x4e800000, 0x4e800000, 0xce800000,
  0x4e000000, 0x4e000000, 0x4e000000, 0xce000000,
  0x4d800000, 0x4d800000, 0x4d800000, 0xcd800000,
  0x4d000000, 0x4d000000, 0x4d000000, 0xcd000000,
  0x4c800000, 0x4c800000, 0x4c800000, 0xcc800000,
  0x4c000000, 0x4c000000, 0x4c000000, 0xcc000000,
  0x4b800000, 0x4b800000, 0x4b800000, 0xcb800000,
  0x4b000000, 0x4b000000, 0x4b000000, 0xcb000000,
  0x4a800000, 0x4a800000, 0x4a800000, 0xca800000,
  0x4a000000, 0x4a000000, 0x4a000000, 0xca000000,
  0x49800000, 0x49800000, 0x49800000, 0xc9800000,
  0x49000000, 0x49000000, 0x49000000, 0xc9000000,
  0x48800000, 0x48800000, 0x48800000, 0xc8800000,
  0x48000000, 0x48000000, 0x48000000, 0xc8000000,
  0x47800000, 0x47800000, 0x47800000, 0xc7800000,
  0x47000000, 0x47000000, 0x47000000, 0xc7000000,
  0x46800000, 0x46800000, 0x46800000, 0xc6800000,
  0x46000000, 0x46000000, 0x46000000, 0xc6000000,
  0x45800000, 0x45800000, 0x45800000, 0xc5800000,
  0x45000000, 0x45000000, 0x45000000, 0xc5000000,
  0x44800000, 0x44800000, 0x44800000, 0xc4800000,
  0x44000000, 0x44000000, 0x44000000, 0xc4000000,
  0x43800000, 0x43800000, 0x43800000, 0xc3800000,
  0x43000000, 0x43000000, 0x43000000, 0xc3000000,
  0x42800000, 0x42800000, 0x42800000, 0xc2800000,
  0x42000000, 0x42000000, 0x42000000, 0xc2000000,
  0x41800000, 0x41800000, 0x41800000, 0xc1800000,
  0x41000000, 0x41000000, 0x41000000, 0xc1000000,
  0x40800000, 0x40800000, 0x40800000, 0xc0800000,
  0x40000000, 0x40000000, 0x40000000, 0xc0000000,
  0x3f800000, 0x3f800000, 0x3f800000, 0xbf800000,
  0x3f000000, 0x3f000000, 0x3f000000, 0xbf000000,
  0x4f000000, 0x4f000000, 0xcf000000, 0xcf000000,
  0x4e800000, 0x4e800000, 0xce800000, 0xce800000,
  0x4e000000, 0x4e000000, 0xce000000, 0xce000000,
  0x4d800000, 0x4d800000, 0xcd800000, 0xcd800000,
  0x4d000000, 0x4d000000, 0xcd000000, 0xcd000000,
  0x4c800000, 0x4c800000, 0xcc800000, 0xcc800000,
  0x4c000000, 0x4c000000, 0xcc000000, 0xcc000000,
  0x4b800000, 0x4b800000, 0xcb800000, 0xcb800000,
  0x4b000000, 0x4b000000, 0xcb000000, 0xcb000000,
  0x4a800000, 0x4a800000, 0xca800000, 0xca800000,
  0x4a000000, 0x4a000000, 0xca000000, 0xca000000,
  0x49800000, 0x49800000, 0xc9800000, 0xc9800000,
  0x49000000, 0x49000000, 0xc9000000, 0xc9000000,
  0x48800000, 0x48800000, 0xc8800000, 0xc8800000,
  0x48000000, 0x48000000, 0xc8000000, 0xc8000000,
  0x47800000, 0x47800000, 0xc7800000, 0xc7800000,
  0x47000000, 0x47000000, 0xc7000000, 0xc7000000,
  0x46800000, 0x46800000, 0xc6800000, 0xc6800000,
  0x46000000, 0x46000000, 0xc6000000, 0xc6000000,
  0x45800000, 0x45800000, 0xc5800000, 0xc5800000,
  0x45000000, 0x45000000, 0xc5000000, 0xc5000000,
  0x44800000, 0x44800000, 0xc4800000, 0xc4800000,
  0x44000000, 0x44000000, 0xc4000000, 0xc4000000,
  0x43800000, 0x43800000, 0xc3800000, 0xc3800000,
  0x43000000, 0x43000000, 0xc3000000, 0xc3000000,
  0x42800000, 0x42800000, 0xc2800000, 0xc2800000,
  0x42000000, 0x42000000, 0xc2000000, 0xc2000000,
  0x41800000, 0x41800000, 0xc1800000, 0xc1800000,
  0x41000000, 0x41000000, 0xc1000000, 0xc1000000,
  0x40800000, 0x40800000, 0xc0800000, 0xc0800000,
  0x40000000, 0x40000000, 0xc0000000, 0xc0000000,
  0x3f800000, 0x3f800000, 0xbf800000, 0xbf800000,
  0x3f000000, 0x3f000000, 0xbf000000, 0xbf000000,
  0x4f000000, 0xcf000000, 0xcf000000, 0xceaaaaab,
  0x4e800000, 0xce800000, 0xce800000, 0xce2aaaab,
  0x4e000000, 0xce000000, 0xce000000, 0xcdaaaaab,
  0x4d800000, 0xcd800000, 0xcd800000, 0xcd2aaaab,
  0x4d000000, 0xcd000000, 0xcd000000, 0xccaaaaab,
  0x4c800000, 0xcc800000, 0xcc800000, 0xcc2aaaab,
  0x4c000000, 0xcc000000, 0xcc000000, 0xcbaaaaab,
  0x4b800000, 0xcb800000, 0xcb800000, 0xcb2aaaab,
  0x4b000000, 0xcb000000, 0xcb000000, 0xcaaaaaab,
  0x4a800000, 0xca800000, 0xca800000, 0xca2aaaab,
  0x4a000000, 0xca000000, 0xca000000, 0xc9aaaaab,
  0x49800000, 0xc9800000, 0xc9800000, 0xc92aaaab,
  0x49000000, 0xc9000000, 0xc9000000, 0xc8aaaaab,
  0x48800000, 0xc8800000, 0xc8800000, 0xc82aaaab,
  0x48000000, 0xc8000000, 0xc8000000, 0xc7aaaaab,
  0x47800000, 0xc7800000, 0xc7800000, 0xc72aaaab,
  0x47000000, 0xc7000000, 0xc7000000, 0xc6aaaaab,
  0x46800000, 0xc6800000, 0xc6800000, 0xc62aaaab,
  0x46000000, 0xc6000000, 0xc6000000, 0xc5aaaaab,
  0x45800000, 0xc5800000, 0xc5800000, 0xc52aaaab,
  0x45000000, 0xc5000000, 0xc5000000, 0xc4aaaaab,
  0x44800000, 0xc4800000, 0xc4800000, 0xc42aaaab,
  0x44000000, 0xc4000000, 0xc4000000, 0xc3aaaaab,
  0x43800000, 0xc3800000, 0xc3800000, 0xc32aaaab,
  0x43000000, 0xc3000000, 0xc3000000, 0xc2aaaaab,
  0x42800000, 0xc2800000, 0xc2800000, 0xc22aaaab,
  0x42000000, 0xc2000000, 0xc2000000, 0xc1aaaaab,
  0x41800000, 0xc1800000, 0xc1800000, 0xc12aaaab,
  0x41000000, 0xc1000000, 0xc1000000, 0xc0aaaaab,
  0x40800000, 0xc0800000, 0xc0800000, 0xc02aaaab,
  0x40000000, 0xc0000000, 0xc0000000, 0xbfaaaaab,
  0x3f800000, 0xbf800000, 0xbf800000, 0xbf2aaaab,
  0x3f000000, 0xbf000000, 0xbf000000, 0xbeaaaaab,
  0xcf000000, 0xcf000000, 0xceaaaaab, 0xce4ccccd,
  0xce800000, 0xce800000, 0xce2aaaab, 0xcdcccccd,
  0xce000000, 0xce000000, 0xcdaaaaab, 0xcd4ccccd,
  0xcd800000, 0xcd800000, 0xcd2aaaab, 0xcccccccd,
  0xcd000000, 0xcd000000, 0xccaaaaab, 0xcc4ccccd,
  0xcc800000, 0xcc800000, 0xcc2aaaab, 0xcbcccccd,
  0xcc000000, 0xcc000000, 0xcbaaaaab, 0xcb4ccccd,
  0xcb800000, 0xcb800000, 0xcb2aaaab, 0xcacccccd,
  0xcb000000, 0xcb000000, 0xcaaaaaab, 0xca4ccccd,
  0xca800000, 0xca800000, 0xca2aaaab, 0xc9cccccd,
  0xca000000, 0xca000000, 0xc9aaaaab, 0xc94ccccd,
  0xc9800000, 0xc9800000, 0xc92aaaab, 0xc8cccccd,
  0xc9000000, 0xc9000000, 0xc8aaaaab, 0xc84ccccd,
  0xc8800000, 0xc8800000, 0xc82aaaab, 0xc7cccccd,
  0xc8000000, 0xc8000000, 0xc7aaaaab, 0xc74ccccd,
  0xc7800000, 0xc7800000, 0xc72aaaab, 0xc6cccccd,
  0xc7000000, 0xc7000000, 0xc6aaaaab, 0xc64ccccd,
  0xc6800000, 0xc6800000, 0xc62aaaab, 0xc5cccccd,
  0xc6000000, 0xc6000000, 0xc5aaaaab, 0xc54ccccd,
  0xc5800000, 0xc5800000, 0xc52aaaab, 0xc4cccccd,
  0xc5000000, 0xc5000000, 0xc4aaaaab, 0xc44ccccd,
  0xc4800000, 0xc4800000, 0xc42aaaab, 0xc3cccccd,
  0xc4000000, 0xc4000000, 0xc3aaaaab, 0xc34ccccd,
  0xc3800000, 0xc3800000, 0xc32aaaab, 0xc2cccccd,
  0xc3000000, 0xc3000000, 0xc2aaaaab, 0xc24ccccd,
  0xc2800000, 0xc2800000, 0xc22aaaab, 0xc1cccccd,
  0xc2000000, 0xc2000000, 0xc1aaaaab, 0xc14ccccd,
  0xc1800000, 0xc1800000, 0xc12aaaab, 0xc0cccccd,
  0xc1000000, 0xc1000000, 0xc0aaaaab, 0xc04ccccd,
  0xc0800000, 0xc0800000, 0xc02aaaab, 0xbfcccccd,
  0xc0000000, 0xc0000000, 0xbfaaaaab, 0xbf4ccccd,
  0xbf800000, 0xbf800000, 0xbf2aaaab, 0xbecccccd,
  0xbf000000, 0xbf000000, 0xbeaaaaab, 0xbe4ccccd,
  0xcf000000, 0xceaaaaab, 0xce4ccccd, 0xc7000000,
  0xce800000, 0xce2aaaab, 0xcdcccccd, 0xc6800000,
  0xce000000, 0xcdaaaaab, 0xcd4ccccd, 0xc6000000,
  0xcd800000, 0xcd2aaaab, 0xcccccccd, 0xc5800000,
  0xcd000000, 0xccaaaaab, 0xcc4ccccd, 0xc5000000,
  0xcc800000, 0xcc2aaaab, 0xcbcccccd, 0xc4800000,
  0xcc000000, 0xcbaaaaab, 0xcb4ccccd, 0xc4000000,
  0xcb800000, 0xcb2aaaab, 0xcacccccd, 0xc3800000,
  0xcb000000, 0xcaaaaaab, 0xca4ccccd, 0xc3000000,
  0xca800000, 0xca2aaaab, 0xc9cccccd, 0xc2800000,
  0xca000000, 0xc9aaaaab, 0xc94ccccd, 0xc2000000,
  0xc9800000, 0xc92aaaab, 0xc8cccccd, 0xc1800000,
  0xc9000000, 0xc8aaaaab, 0xc84ccccd, 0xc1000000,
  0xc8800000, 0xc82aaaab, 0xc7cccccd, 0xc0800000,
  0xc8000000, 0xc7aaaaab, 0xc74ccccd, 0xc0000000,
  0xc7800000, 0xc72aaaab, 0xc6cccccd, 0xbf800000,
  0xc7000000, 0xc6aaaaab, 0xc64ccccd, 0xbf000000,
  0xc6800000, 0xc62aaaab, 0xc5cccccd, 0xbe800000,
  0xc6000000, 0xc5aaaaab, 0xc54ccccd, 0xbe000000,
  0xc5800000, 0xc52aaaab, 0xc4cccccd, 0xbd800000,
  0xc5000000, 0xc4aaaaab, 0xc44ccccd, 0xbd000000,
  0xc4800000, 0xc42aaaab, 0xc3cccccd, 0xbc800000,
  0xc4000000, 0xc3aaaaab, 0xc34ccccd, 0xbc000000,
  0xc3800000, 0xc32aaaab, 0xc2cccccd, 0xbb800000,
  0xc3000000, 0xc2aaaaab, 0xc24ccccd, 0xbb000000,
  0xc2800000, 0xc22aaaab, 0xc1cccccd, 0xba800000,
  0xc2000000, 0xc1aaaaab, 0xc14ccccd, 0xba000000,
  0xc1800000, 0xc12aaaab, 0xc0cccccd, 0xb9800000,
  0xc1000000, 0xc0aaaaab, 0xc04ccccd, 0xb9000000,
  0xc0800000, 0xc02aaaab, 0xbfcccccd, 0xb8800000,
  0xc0000000, 0xbfaaaaab, 0xbf4ccccd, 0xb8000000,
  0xbf800000, 0xbf2aaaab, 0xbecccccd, 0xb7800000,
  0xbf000000, 0xbeaaaaab, 0xbe4ccccd, 0xb7000000,
  0xceaaaaab, 0xce4ccccd, 0xc7000000, 0xc6fffe00,
  0xce2aaaab, 0xcdcccccd, 0xc6800000, 0xc67ffe00,
  0xcdaaaaab, 0xcd4ccccd, 0xc6000000, 0xc5fffe00,
  0xcd2aaaab, 0xcccccccd, 0xc5800000, 0xc57ffe00,
  0xccaaaaab, 0xcc4ccccd, 0xc5000000, 0xc4fffe00,
  0xcc2aaaab, 0xcbcccccd, 0xc4800000, 0xc47ffe00,
  0xcbaaaaab, 0xcb4ccccd, 0xc4000000, 0xc3fffe00,
  0xcb2aaaab, 0xcacccccd, 0xc3800000, 0xc37ffe00,
  0xcaaaaaab, 0xca4ccccd, 0xc3000000, 0xc2fffe00,
  0xca2aaaab, 0xc9cccccd, 0xc2800000, 0xc27ffe00,
  0xc9aaaaab, 0xc94ccccd, 0xc2000000, 0xc1fffe00,
  0xc92aaaab, 0xc8cccccd, 0xc1800000, 0xc17ffe00,
  0xc8aaaaab, 0xc84ccccd, 0xc1000000, 0xc0fffe00,
  0xc82aaaab, 0xc7cccccd, 0xc0800000, 0xc07ffe00,
  0xc7aaaaab, 0xc74ccccd, 0xc0000000, 0xbffffe00,
  0xc72aaaab, 0xc6cccccd, 0xbf800000, 0xbf7ffe00,
  0xc6aaaaab, 0xc64ccccd, 0xbf000000, 0xbefffe00,
  0xc62aaaab, 0xc5cccccd, 0xbe800000, 0xbe7ffe00,
  0xc5aaaaab, 0xc54ccccd, 0xbe000000, 0xbdfffe00,
  0xc52aaaab, 0xc4cccccd, 0xbd800000, 0xbd7ffe00,
  0xc4aaaaab, 0xc44ccccd, 0xbd000000, 0xbcfffe00,
  0xc42aaaab, 0xc3cccccd, 0xbc800000, 0xbc7ffe00,
  0xc3aaaaab, 0xc34ccccd, 0xbc000000, 0xbbfffe00,
  0xc32aaaab, 0xc2cccccd, 0xbb800000, 0xbb7ffe00,
  0xc2aaaaab, 0xc24ccccd, 0xbb000000, 0xbafffe00,
  0xc22aaaab, 0xc1cccccd, 0xba800000, 0xba7ffe00,
  0xc1aaaaab, 0xc14ccccd, 0xba000000, 0xb9fffe00,
  0xc12aaaab, 0xc0cccccd, 0xb9800000, 0xb97ffe00,
  0xc0aaaaab, 0xc04ccccd, 0xb9000000, 0xb8fffe00,
  0xc02aaaab, 0xbfcccccd, 0xb8800000, 0xb87ffe00,
  0xbfaaaaab, 0xbf4ccccd, 0xb8000000, 0xb7fffe00,
  0xbf2aaaab, 0xbecccccd, 0xb7800000, 0xb77ffe00,
  0xbeaaaaab, 0xbe4ccccd, 0xb7000000, 0xb6fffe00,
  0xce4ccccd, 0xc7000000, 0xc6fffe00, 0xc6fffc00,
  0xcdcccccd, 0xc6800000, 0xc67ffe00, 0xc67ffc00,
  0xcd4ccccd, 0xc6000000, 0xc5fffe00, 0xc5fffc00,
  0xcccccccd, 0xc5800000, 0xc57ffe00, 0xc57ffc00,
  0xcc4ccccd, 0xc5000000, 0xc4fffe00, 0xc4fffc00,
  0xcbcccccd, 0xc4800000, 0xc47ffe00, 0xc47ffc00,
  0xcb4ccccd, 0xc4000000, 0xc3fffe00, 0xc3fffc00,
  0xcacccccd, 0xc3800000, 0xc37ffe00, 0xc37ffc00,
  0xca4ccccd, 0xc3000000, 0xc2fffe00, 0xc2fffc00,
  0xc9cccccd, 0xc2800000, 0xc27ffe00, 0xc27ffc00,
  0xc94ccccd, 0xc2000000, 0xc1fffe00, 0xc1fffc00,
  0xc8cccccd, 0xc1800000, 0xc17ffe00, 0xc17ffc00,
  0xc84ccccd, 0xc1000000, 0xc0fffe00, 0xc0fffc00,
  0xc7cccccd, 0xc0800000, 0xc07ffe00, 0xc07ffc00,
  0xc74ccccd, 0xc0000000, 0xbffffe00, 0xbffffc00,
  0xc6cccccd, 0xbf800000, 0xbf7ffe00, 0xbf7ffc00,
  0xc64ccccd, 0xbf000000, 0xbefffe00, 0xbefffc00,
  0xc5cccccd, 0xbe800000, 0xbe7ffe00, 0xbe7ffc00,
  0xc54ccccd, 0xbe000000, 0xbdfffe00, 0xbdfffc00,
  0xc4cccccd, 0xbd800000, 0xbd7ffe00, 0xbd7ffc00,
  0xc44ccccd, 0xbd000000, 0xbcfffe00, 0xbcfffc00,
  0xc3cccccd, 0xbc800000, 0xbc7ffe00, 0xbc7ffc00,
  0xc34ccccd, 0xbc000000, 0xbbfffe00, 0xbbfffc00,
  0xc2cccccd, 0xbb800000, 0xbb7ffe00, 0xbb7ffc00,
  0xc24ccccd, 0xbb000000, 0xbafffe00, 0xbafffc00,
  0xc1cccccd, 0xba800000, 0xba7ffe00, 0xba7ffc00,
  0xc14ccccd, 0xba000000, 0xb9fffe00, 0xb9fffc00,
  0xc0cccccd, 0xb9800000, 0xb97ffe00, 0xb97ffc00,
  0xc04ccccd, 0xb9000000, 0xb8fffe00, 0xb8fffc00,
  0xbfcccccd, 0xb8800000, 0xb87ffe00, 0xb87ffc00,
  0xbf4ccccd, 0xb8000000, 0xb7fffe00, 0xb7fffc00,
  0xbecccccd, 0xb7800000, 0xb77ffe00, 0xb77ffc00,
  0xbe4ccccd, 0xb7000000, 0xb6fffe00, 0xb6fffc00,
  0xc7000000, 0xc6fffe00, 0xc6fffc00, 0xc6fffa00,
  0xc6800000, 0xc67ffe00, 0xc67ffc00, 0xc67ffa00,
  0xc6000000, 0xc5fffe00, 0xc5fffc00, 0xc5fffa00,
  0xc5800000, 0xc57ffe00, 0xc57ffc00, 0xc57ffa00,
  0xc5000000, 0xc4fffe00, 0xc4fffc00, 0xc4fffa00,
  0xc4800000, 0xc47ffe00, 0xc47ffc00, 0xc47ffa00,
  0xc4000000, 0xc3fffe00, 0xc3fffc00, 0xc3fffa00,
  0xc3800000, 0xc37ffe00, 0xc37ffc00, 0xc37ffa00,
  0xc3000000, 0xc2fffe00, 0xc2fffc00, 0xc2fffa00,
  0xc2800000, 0xc27ffe00, 0xc27ffc00, 0xc27ffa00,
  0xc2000000, 0xc1fffe00, 0xc1fffc00, 0xc1fffa00,
  0xc1800000, 0xc17ffe00, 0xc17ffc00, 0xc17ffa00,
  0xc1000000, 0xc0fffe00, 0xc0fffc00, 0xc0fffa00,
  0xc0800000, 0xc07ffe00, 0xc07ffc00, 0xc07ffa00,
  0xc0000000, 0xbffffe00, 0xbffffc00, 0xbffffa00,
  0xbf800000, 0xbf7ffe00, 0xbf7ffc00, 0xbf7ffa00,
  0xbf000000, 0xbefffe00, 0xbefffc00, 0xbefffa00,
  0xbe800000, 0xbe7ffe00, 0xbe7ffc00, 0xbe7ffa00,
  0xbe000000, 0xbdfffe00, 0xbdfffc00, 0xbdfffa00,
  0xbd800000, 0xbd7ffe00, 0xbd7ffc00, 0xbd7ffa00,
  0xbd000000, 0xbcfffe00, 0xbcfffc00, 0xbcfffa00,
  0xbc800000, 0xbc7ffe00, 0xbc7ffc00, 0xbc7ffa00,
  0xbc000000, 0xbbfffe00, 0xbbfffc00, 0xbbfffa00,
  0xbb800000, 0xbb7ffe00, 0xbb7ffc00, 0xbb7ffa00,
  0xbb000000, 0xbafffe00, 0xbafffc00, 0xbafffa00,
  0xba800000, 0xba7ffe00, 0xba7ffc00, 0xba7ffa00,
  0xba000000, 0xb9fffe00, 0xb9fffc00, 0xb9fffa00,
  0xb9800000, 0xb97ffe00, 0xb97ffc00, 0xb97ffa00,
  0xb9000000, 0xb8fffe00, 0xb8fffc00, 0xb8fffa00,
  0xb8800000, 0xb87ffe00, 0xb87ffc00, 0xb87ffa00,
  0xb8000000, 0xb7fffe00, 0xb7fffc00, 0xb7fffa00,
  0xb7800000, 0xb77ffe00, 0xb77ffc00, 0xb77ffa00,
  0xb7000000, 0xb6fffe00, 0xb6fffc00, 0xb6fffa00,
  0xc6fffe00, 0xc6fffc00, 0xc6fffa00, 0xc3000000,
  0xc67ffe00, 0xc67ffc00, 0xc67ffa00, 0xc2800000,
  0xc5fffe00, 0xc5fffc00, 0xc5fffa00, 0xc2000000,
  0xc57ffe00, 0xc57ffc00, 0xc57ffa00, 0xc1800000,
  0xc4fffe00, 0xc4fffc00, 0xc4fffa00, 0xc1000000,
  0xc47ffe00, 0xc47ffc00, 0xc47ffa00, 0xc0800000,
  0xc3fffe00, 0xc3fffc00, 0xc3fffa00, 0xc0000000,
  0xc37ffe00, 0xc37ffc00, 0xc37ffa00, 0xbf800000,
  0xc2fffe00, 0xc2fffc00, 0xc2fffa00, 0xbf000000,
  0xc27ffe00, 0xc27ffc00, 0xc27ffa00, 0xbe800000,
  0xc1fffe00, 0xc1fffc00, 0xc1fffa00, 0xbe000000,
  0xc17ffe00, 0xc17ffc00, 0xc17ffa00, 0xbd800000,
  0xc0fffe00, 0xc0fffc00, 0xc0fffa00, 0xbd000000,
  0xc07ffe00, 0xc07ffc00, 0xc07ffa00, 0xbc800000,
  0xbffffe00, 0xbffffc00, 0xbffffa00, 0xbc000000,
  0xbf7ffe00, 0xbf7ffc00, 0xbf7ffa00, 0xbb800000,
  0xbefffe00, 0xbefffc00, 0xbefffa00, 0xbb000000,
  0xbe7ffe00, 0xbe7ffc00, 0xbe7ffa00, 0xba800000,
  0xbdfffe00, 0xbdfffc00, 0xbdfffa00, 0xba000000,
  0xbd7ffe00, 0xbd7ffc00, 0xbd7ffa00, 0xb9800000,
  0xbcfffe00, 0xbcfffc00, 0xbcfffa00, 0xb9000000,
  0xbc7ffe00, 0xbc7ffc00, 0xbc7ffa00, 0xb8800000,
  0xbbfffe00, 0xbbfffc00, 0xbbfffa00, 0xb8000000,
  0xbb7ffe00, 0xbb7ffc00, 0xbb7ffa00, 0xb7800000,
  0xbafffe00, 0xbafffc00, 0xbafffa00, 0xb7000000,
  0xba7ffe00, 0xba7ffc00, 0xba7ffa00, 0xb6800000,
  0xb9fffe00, 0xb9fffc00, 0xb9fffa00, 0xb6000000,
  0xb97ffe00, 0xb97ffc00, 0xb97ffa00, 0xb5800000,
  0xb8fffe00, 0xb8fffc00, 0xb8fffa00, 0xb5000000,
  0xb87ffe00, 0xb87ffc00, 0xb87ffa00, 0xb4800000,
  0xb7fffe00, 0xb7fffc00, 0xb7fffa00, 0xb4000000,
  0xb77ffe00, 0xb77ffc00, 0xb77ffa00, 0xb3800000,
  0xb6fffe00, 0xb6fffc00, 0xb6fffa00, 0xb3000000,
  0xc6fffc00, 0xc6fffa00, 0xc3000000, 0xc2fe0000,
  0xc67ffc00, 0xc67ffa00, 0xc2800000, 0xc27e0000,
  0xc5fffc00, 0xc5fffa00, 0xc2000000, 0xc1fe0000,
  0xc57ffc00, 0xc57ffa00, 0xc1800000, 0xc17e0000,
  0xc4fffc00, 0xc4fffa00, 0xc1000000, 0xc0fe0000,
  0xc47ffc00, 0xc47ffa00, 0xc0800000, 0xc07e0000,
  0xc3fffc00, 0xc3fffa00, 0xc0000000, 0xbffe0000,
  0xc37ffc00, 0xc37ffa00, 0xbf800000, 0xbf7e0000,
  0xc2fffc00, 0xc2fffa00, 0xbf000000, 0xbefe0000,
  0xc27ffc00, 0xc27ffa00, 0xbe800000, 0xbe7e0000,
  0xc1fffc00, 0xc1fffa00, 0xbe000000, 0xbdfe0000,
  0xc17ffc00, 0xc17ffa00, 0xbd800000, 0xbd7e0000,
  0xc0fffc00, 0xc0fffa00, 0xbd000000, 0xbcfe0000,
  0xc07ffc00, 0xc07ffa00, 0xbc800000, 0xbc7e0000,
  0xbffffc00, 0xbffffa00, 0xbc000000, 0xbbfe0000,
  0xbf7ffc00, 0xbf7ffa00, 0xbb800000, 0xbb7e0000,
  0xbefffc00, 0xbefffa00, 0xbb000000, 0xbafe0000,
  0xbe7ffc00, 0xbe7ffa00, 0xba800000, 0xba7e0000,
  0xbdfffc00, 0xbdfffa00, 0xba000000, 0xb9fe0000,
  0xbd7ffc00, 0xbd7ffa00, 0xb9800000, 0xb97e0000,
  0xbcfffc00, 0xbcfffa00, 0xb9000000, 0xb8fe0000,
  0xbc7ffc00, 0xbc7ffa00, 0xb8800000, 0xb87e0000,
  0xbbfffc00, 0xbbfffa00, 0xb8000000, 0xb7fe0000,
  0xbb7ffc00, 0xbb7ffa00, 0xb7800000, 0xb77e0000,
  0xbafffc00, 0xbafffa00, 0xb7000000, 0xb6fe0000,
  0xba7ffc00, 0xba7ffa00, 0xb6800000, 0xb67e0000,
  0xb9fffc00, 0xb9fffa00, 0xb6000000, 0xb5fe0000,
  0xb97ffc00, 0xb97ffa00, 0xb5800000, 0xb57e0000,
  0xb8fffc00, 0xb8fffa00, 0xb5000000, 0xb4fe0000,
  0xb87ffc00, 0xb87ffa00, 0xb4800000, 0xb47e0000,
  0xb7fffc00, 0xb7fffa00, 0xb4000000, 0xb3fe0000,
  0xb77ffc00, 0xb77ffa00, 0xb3800000, 0xb37e0000,
  0xb6fffc00, 0xb6fffa00, 0xb3000000, 0xb2fe0000,
  0xc6fffa00, 0xc3000000, 0xc2fe0000, 0xc2fc0000,
  0xc67ffa00, 0xc2800000, 0xc27e0000, 0xc27c0000,
  0xc5fffa00, 0xc2000000, 0xc1fe0000, 0xc1fc0000,
  0xc57ffa00, 0xc1800000, 0xc17e0000, 0xc17c0000,
  0xc4fffa00, 0xc1000000, 0xc0fe0000, 0xc0fc0000,
  0xc47ffa00, 0xc0800000, 0xc07e0000, 0xc07c0000,
  0xc3fffa00, 0xc0000000, 0xbffe0000, 0xbffc0000,
  0xc37ffa00, 0xbf800000, 0xbf7e0000, 0xbf7c0000,
  0xc2fffa00, 0xbf000000, 0xbefe0000, 0xbefc0000,
  0xc27ffa00, 0xbe800000, 0xbe7e0000, 0xbe7c0000,
  0xc1fffa00, 0xbe000000, 0xbdfe0000, 0xbdfc0000,
  0xc17ffa00, 0xbd800000, 0xbd7e0000, 0xbd7c0000,
  0xc0fffa00, 0xbd000000, 0xbcfe0000, 0xbcfc0000,
  0xc07ffa00, 0xbc800000, 0xbc7e0000, 0xbc7c0000,
  0xbffffa00, 0xbc000000, 0xbbfe0000, 0xbbfc0000,
  0xbf7ffa00, 0xbb800000, 0xbb7e0000, 0xbb7c0000,
  0xbefffa00, 0xbb000000, 0xbafe0000, 0xbafc0000,
  0xbe7ffa00, 0xba800000, 0xba7e0000, 0xba7c0000,
  0xbdfffa00, 0xba000000, 0xb9fe0000, 0xb9fc0000,
  0xbd7ffa00, 0xb9800000, 0xb97e0000, 0xb97c0000,
  0xbcfffa00, 0xb9000000, 0xb8fe0000, 0xb8fc0000,
  0xbc7ffa00, 0xb8800000, 0xb87e0000, 0xb87c0000,
  0xbbfffa00, 0xb8000000, 0xb7fe0000, 0xb7fc0000,
  0xbb7ffa00, 0xb7800000, 0xb77e0000, 0xb77c0000,
  0xbafffa00, 0xb7000000, 0xb6fe0000, 0xb6fc0000,
  0xba7ffa00, 0xb6800000, 0xb67e0000, 0xb67c0000,
  0xb9fffa00, 0xb6000000, 0xb5fe0000, 0xb5fc0000,
  0xb97ffa00, 0xb5800000, 0xb57e0000, 0xb57c0000,
  0xb8fffa00, 0xb5000000, 0xb4fe0000, 0xb4fc0000,
  0xb87ffa00, 0xb4800000, 0xb47e0000, 0xb47c0000,
  0xb7fffa00, 0xb4000000, 0xb3fe0000, 0xb3fc0000,
  0xb77ffa00, 0xb3800000, 0xb37e0000, 0xb37c0000,
  0xb6fffa00, 0xb3000000, 0xb2fe0000, 0xb2fc0000,
  0xc3000000, 0xc2fe0000, 0xc2fc0000, 0xc2fa0000,
  0xc2800000, 0xc27e0000, 0xc27c0000, 0xc27a0000,
  0xc2000000, 0xc1fe0000, 0xc1fc0000, 0xc1fa0000,
  0xc1800000, 0xc17e0000, 0xc17c0000, 0xc17a0000,
  0xc1000000, 0xc0fe0000, 0xc0fc0000, 0xc0fa0000,
  0xc0800000, 0xc07e0000, 0xc07c0000, 0xc07a0000,
  0xc0000000, 0xbffe0000, 0xbffc0000, 0xbffa0000,
  0xbf800000, 0xbf7e0000, 0xbf7c0000, 0xbf7a0000,
  0xbf000000, 0xbefe0000, 0xbefc0000, 0xbefa0000,
  0xbe800000, 0xbe7e0000, 0xbe7c0000, 0xbe7a0000,
  0xbe000000, 0xbdfe0000, 0xbdfc0000, 0xbdfa0000,
  0xbd800000, 0xbd7e0000, 0xbd7c0000, 0xbd7a0000,
  0xbd000000, 0xbcfe0000, 0xbcfc0000, 0xbcfa0000,
  0xbc800000, 0xbc7e0000, 0xbc7c0000, 0xbc7a0000,
  0xbc000000, 0xbbfe0000, 0xbbfc0000, 0xbbfa0000,
  0xbb800000, 0xbb7e0000, 0xbb7c0000, 0xbb7a0000,
  0xbb000000, 0xbafe0000, 0xbafc0000, 0xbafa0000,
  0xba800000, 0xba7e0000, 0xba7c0000, 0xba7a0000,
  0xba000000, 0xb9fe0000, 0xb9fc0000, 0xb9fa0000,
  0xb9800000, 0xb97e0000, 0xb97c0000, 0xb97a0000,
  0xb9000000, 0xb8fe0000, 0xb8fc0000, 0xb8fa0000,
  0xb8800000, 0xb87e0000, 0xb87c0000, 0xb87a0000,
  0xb8000000, 0xb7fe0000, 0xb7fc0000, 0xb7fa0000,
  0xb7800000, 0xb77e0000, 0xb77c0000, 0xb77a0000,
  0xb7000000, 0xb6fe0000, 0xb6fc0000, 0xb6fa0000,
  0xb6800000, 0xb67e0000, 0xb67c0000, 0xb67a0000,
  0xb6000000, 0xb5fe0000, 0xb5fc0000, 0xb5fa0000,
  0xb5800000, 0xb57e0000, 0xb57c0000, 0xb57a0000,
  0xb5000000, 0xb4fe0000, 0xb4fc0000, 0xb4fa0000,
  0xb4800000, 0xb47e0000, 0xb47c0000, 0xb47a0000,
  0xb4000000, 0xb3fe0000, 0xb3fc0000, 0xb3fa0000,
  0xb3800000, 0xb37e0000, 0xb37c0000, 0xb37a0000,
  0xb3000000, 0xb2fe0000, 0xb2fc0000, 0xb2fa0000,
  0xc2fe0000, 0xc2fc0000, 0xc2fa0000, 0xc2000000,
  0xc27e0000, 0xc27c0000, 0xc27a0000, 0xc1800000,
  0xc1fe0000, 0xc1fc0000, 0xc1fa0000, 0xc1000000,
  0xc17e0000, 0xc17c0000, 0xc17a0000, 0xc0800000,
  0xc0fe0000, 0xc0fc0000, 0xc0fa0000, 0xc0000000,
  0xc07e0000, 0xc07c0000, 0xc07a0000, 0xbf800000,
  0xbffe0000, 0xbffc0000, 0xbffa0000, 0xbf000000,
  0xbf7e0000, 0xbf7c0000, 0xbf7a0000, 0xbe800000,
  0xbefe0000, 0xbefc0000, 0xbefa0000, 0xbe000000,
  0xbe7e0000, 0xbe7c0000, 0xbe7a0000, 0xbd800000,
  0xbdfe0000, 0xbdfc0000, 0xbdfa0000, 0xbd000000,
  0xbd7e0000, 0xbd7c0000, 0xbd7a0000, 0xbc800000,
  0xbcfe0000, 0xbcfc0000, 0xbcfa0000, 0xbc000000,
  0xbc7e0000, 0xbc7c0000, 0xbc7a0000, 0xbb800000,
  0xbbfe0000, 0xbbfc0000, 0xbbfa0000, 0xbb000000,
  0xbb7e0000, 0xbb7c0000, 0xbb7a0000, 0xba800000,
  0xbafe0000, 0xbafc0000, 0xbafa0000, 0xba000000,
  0xba7e0000, 0xba7c0000, 0xba7a0000, 0xb9800000,
  0xb9fe0000, 0xb9fc0000, 0xb9fa0000, 0xb9000000,
  0xb97e0000, 0xb97c0000, 0xb97a0000, 0xb8800000,
  0xb8fe0000, 0xb8fc0000, 0xb8fa0000, 0xb8000000,
  0xb87e0000, 0xb87c0000, 0xb87a0000, 0xb7800000,
  0xb7fe0000, 0xb7fc0000, 0xb7fa0000, 0xb7000000,
  0xb77e0000, 0xb77c0000, 0xb77a0000, 0xb6800000,
  0xb6fe0000, 0xb6fc0000, 0xb6fa0000, 0xb6000000,
  0xb67e0000, 0xb67c0000, 0xb67a0000, 0xb5800000,
  0xb5fe0000, 0xb5fc0000, 0xb5fa0000, 0xb5000000,
  0xb57e0000, 0xb57c0000, 0xb57a0000, 0xb4800000,
  0xb4fe0000, 0xb4fc0000, 0xb4fa0000, 0xb4000000,
  0xb47e0000, 0xb47c0000, 0xb47a0000, 0xb3800000,
  0xb3fe0000, 0xb3fc0000, 0xb3fa0000, 0xb3000000,
  0xb37e0000, 0xb37c0000, 0xb37a0000, 0xb2800000,
  0xb2fe0000, 0xb2fc0000, 0xb2fa0000, 0xb2000000,
  0xc2fc0000, 0xc2fa0000, 0xc2000000, 0xc0400000,
  0xc27c0000, 0xc27a0000, 0xc1800000, 0xbfc00000,
  0xc1fc0000, 0xc1fa0000, 0xc1000000, 0xbf400000,
  0xc17c0000, 0xc17a0000, 0xc0800000, 0xbec00000,
  0xc0fc0000, 0xc0fa0000, 0xc0000000, 0xbe400000,
  0xc07c0000, 0xc07a0000, 0xbf800000, 0xbdc00000,
  0xbffc0000, 0xbffa0000, 0xbf000000, 0xbd400000,
  0xbf7c0000, 0xbf7a0000, 0xbe800000, 0xbcc00000,
  0xbefc0000, 0xbefa0000, 0xbe000000, 0xbc400000,
  0xbe7c0000, 0xbe7a0000, 0xbd800000, 0xbbc00000,
  0xbdfc0000, 0xbdfa0000, 0xbd000000, 0xbb400000,
  0xbd7c0000, 0xbd7a0000, 0xbc800000, 0xbac00000,
  0xbcfc0000, 0xbcfa0000, 0xbc000000, 0xba400000,
  0xbc7c0000, 0xbc7a0000, 0xbb800000, 0xb9c00000,
  0xbbfc0000, 0xbbfa0000, 0xbb000000, 0xb9400000,
  0xbb7c0000, 0xbb7a0000, 0xba800000, 0xb8c00000,
  0xbafc0000, 0xbafa0000, 0xba000000, 0xb8400000,
  0xba7c0000, 0xba7a0000, 0xb9800000, 0xb7c00000,
  0xb9fc0000, 0xb9fa0000, 0xb9000000, 0xb7400000,
  0xb97c0000, 0xb97a0000, 0xb8800000, 0xb6c00000,
  0xb8fc0000, 0xb8fa0000, 0xb8000000, 0xb6400000,
  0xb87c0000, 0xb87a0000, 0xb7800000, 0xb5c00000,
  0xb7fc0000, 0xb7fa0000, 0xb7000000, 0xb5400000,
  0xb77c0000, 0xb77a0000, 0xb6800000, 0xb4c00000,
  0xb6fc0000, 0xb6fa0000, 0xb6000000, 0xb4400000,
  0xb67c0000, 0xb67a0000, 0xb5800000, 0xb3c00000,
  0xb5fc0000, 0xb5fa0000, 0xb5000000, 0xb3400000,
  0xb57c0000, 0xb57a0000, 0xb4800000, 0xb2c00000,
  0xb4fc0000, 0xb4fa0000, 0xb4000000, 0xb2400000,
  0xb47c0000, 0xb47a0000, 0xb3800000, 0xb1c00000,
  0xb3fc0000, 0xb3fa0000, 0xb3000000, 0xb1400000,
  0xb37c0000, 0xb37a0000, 0xb2800000, 0xb0c00000,
  0xb2fc0000, 0xb2fa0000, 0xb2000000, 0xb0400000,
  0xc2fa0000, 0xc2000000, 0xc0400000, 0xc0000000,
  0xc27a0000, 0xc1800000, 0xbfc00000, 0xbf800000,
  0xc1fa0000, 0xc1000000, 0xbf400000, 0xbf000000,
  0xc17a0000, 0xc0800000, 0xbec00000, 0xbe800000,
  0xc0fa0000, 0xc0000000, 0xbe400000, 0xbe000000,
  0xc07a0000, 0xbf800000, 0xbdc00000, 0xbd800000,
  0xbffa0000, 0xbf000000, 0xbd400000, 0xbd000000,
  0xbf7a0000, 0xbe800000, 0xbcc00000, 0xbc800000,
  0xbefa0000, 0xbe000000, 0xbc400000, 0xbc000000,
  0xbe7a0000, 0xbd800000, 0xbbc00000, 0xbb800000,
  0xbdfa0000, 0xbd000000, 0xbb400000, 0xbb000000,
  0xbd7a0000, 0xbc800000, 0xbac00000, 0xba800000,
  0xbcfa0000, 0xbc000000, 0xba400000, 0xba000000,
  0xbc7a0000, 0xbb800000, 0xb9c00000, 0xb9800000,
  0xbbfa0000, 0xbb000000, 0xb9400000, 0xb9000000,
  0xbb7a0000, 0xba800000, 0xb8c00000, 0xb8800000,
  0xbafa0000, 0xba000000, 0xb8400000, 0xb8000000,
  0xba7a0000, 0xb9800000, 0xb7c00000, 0xb7800000,
  0xb9fa0000, 0xb9000000, 0xb7400000, 0xb7000000,
  0xb97a0000, 0xb8800000, 0xb6c00000, 0xb6800000,
  0xb8fa0000, 0xb8000000, 0xb6400000, 0xb6000000,
  0xb87a0000, 0xb7800000, 0xb5c00000, 0xb5800000,
  0xb7fa0000, 0xb7000000, 0xb5400000, 0xb5000000,
  0xb77a0000, 0xb6800000, 0xb4c00000, 0xb4800000,
  0xb6fa0000, 0xb6000000, 0xb4400000, 0xb4000000,
  0xb67a0000, 0xb5800000, 0xb3c00000, 0xb3800000,
  0xb5fa0000, 0xb5000000, 0xb3400000, 0xb3000000,
  0xb57a0000, 0xb4800000, 0xb2c00000, 0xb2800000,
  0xb4fa0000, 0xb4000000, 0xb2400000, 0xb2000000,
  0xb47a0000, 0xb3800000, 0xb1c00000, 0xb1800000,
  0xb3fa0000, 0xb3000000, 0xb1400000, 0xb1000000,
  0xb37a0000, 0xb2800000, 0xb0c00000, 0xb0800000,
  0xb2fa0000, 0xb2000000, 0xb0400000, 0xb0000000,
  0xc2000000, 0xc0400000, 0xc0000000, 0xbf800000,
  0xc1800000, 0xbfc00000, 0xbf800000, 0xbf000000,
  0xc1000000, 0xbf400000, 0xbf000000, 0xbe800000,
  0xc0800000, 0xbec00000, 0xbe800000, 0xbe000000,
  0xc0000000, 0xbe400000, 0xbe000000, 0xbd800000,
  0xbf800000, 0xbdc00000, 0xbd800000, 0xbd000000,
  0xbf000000, 0xbd400000, 0xbd000000, 0xbc800000,
  0xbe800000, 0xbcc00000, 0xbc800000, 0xbc000000,
  0xbe000000, 0xbc400000, 0xbc000000, 0xbb800000,
  0xbd800000, 0xbbc00000, 0xbb800000, 0xbb000000,
  0xbd000000, 0xbb400000, 0xbb000000, 0xba800000,
  0xbc800000, 0xbac00000, 0xba800000, 0xba000000,
  0xbc000000, 0xba400000, 0xba000000, 0xb9800000,
  0xbb800000, 0xb9c00000, 0xb9800000, 0xb9000000,
  0xbb000000, 0xb9400000, 0xb9000000, 0xb8800000,
  0xba800000, 0xb8c00000, 0xb8800000, 0xb8000000,
  0xba000000, 0xb8400000, 0xb8000000, 0xb7800000,
  0xb9800000, 0xb7c00000, 0xb7800000, 0xb7000000,
  0xb9000000, 0xb7400000, 0xb7000000, 0xb6800000,
  0xb8800000, 0xb6c00000, 0xb6800000, 0xb6000000,
  0xb8000000, 0xb6400000, 0xb6000000, 0xb5800000,
  0xb7800000, 0xb5c00000, 0xb5800000, 0xb5000000,
  0xb7000000, 0xb5400000, 0xb5000000, 0xb4800000,
  0xb6800000, 0xb4c00000, 0xb4800000, 0xb4000000,
  0xb6000000, 0xb4400000, 0xb4000000, 0xb3800000,
  0xb5800000, 0xb3c00000, 0xb3800000, 0xb3000000,
  0xb5000000, 0xb3400000, 0xb3000000, 0xb2800000,
  0xb4800000, 0xb2c00000, 0xb2800000, 0xb2000000,
  0xb4000000, 0xb2400000, 0xb2000000, 0xb1800000,
  0xb3800000, 0xb1c00000, 0xb1800000, 0xb1000000,
  0xb3000000, 0xb1400000, 0xb1000000, 0xb0800000,
  0xb2800000, 0xb0c00000, 0xb0800000, 0xb0000000,
  0xb2000000, 0xb0400000, 0xb0000000, 0xaf800000,
  0xc0400000, 0xc0000000, 0xbf800000, 0x00000000,
  0xbfc00000, 0xbf800000, 0xbf000000, 0x00000000,
  0xbf400000, 0xbf000000, 0xbe800000, 0x00000000,
  0xbec00000, 0xbe800000, 0xbe000000, 0x00000000,
  0xbe400000, 0xbe000000, 0xbd800000, 0x00000000,
  0xbdc00000, 0xbd800000, 0xbd000000, 0x00000000,
  0xbd400000, 0xbd000000, 0xbc800000, 0x00000000,
  0xbcc00000, 0xbc800000, 0xbc000000, 0x00000000,
  0xbc400000, 0xbc000000, 0xbb800000, 0x00000000,
  0xbbc00000, 0xbb800000, 0xbb000000, 0x00000000,
  0xbb400000, 0xbb000000, 0xba800000, 0x00000000,
  0xbac00000, 0xba800000, 0xba000000, 0x00000000,
  0xba400000, 0xba000000, 0xb9800000, 0x00000000,
  0xb9c00000, 0xb9800000, 0xb9000000, 0x00000000,
  0xb9400000, 0xb9000000, 0xb8800000, 0x00000000,
  0xb8c00000, 0xb8800000, 0xb8000000, 0x00000000,
  0xb8400000, 0xb8000000, 0xb7800000, 0x00000000,
  0xb7c00000, 0xb7800000, 0xb7000000, 0x00000000,
  0xb7400000, 0xb7000000, 0xb6800000, 0x00000000,
  0xb6c00000, 0xb6800000, 0xb6000000, 0x00000000,
  0xb6400000, 0xb6000000, 0xb5800000, 0x00000000,
  0xb5c00000, 0xb5800000, 0xb5000000, 0x00000000,
  0xb5400000, 0xb5000000, 0xb4800000, 0x00000000,
  0xb4c00000, 0xb4800000, 0xb4000000, 0x00000000,
  0xb4400000, 0xb4000000, 0xb3800000, 0x00000000,
  0xb3c00000, 0xb3800000, 0xb3000000, 0x00000000,
  0xb3400000, 0xb3000000, 0xb2800000, 0x00000000,
  0xb2c00000, 0xb2800000, 0xb2000000, 0x00000000,
  0xb2400000, 0xb2000000, 0xb1800000, 0x00000000,
  0xb1c00000, 0xb1800000, 0xb1000000, 0x00000000,
  0xb1400000, 0xb1000000, 0xb0800000, 0x00000000,
  0xb0c00000, 0xb0800000, 0xb0000000, 0x00000000,
  0xb0400000, 0xb0000000, 0xaf800000, 0x00000000,
  0xc0000000, 0xbf800000, 0x00000000, 0x3f800000,
  0xbf800000, 0xbf000000, 0x00000000, 0x3f000000,
  0xbf000000, 0xbe800000, 0x00000000, 0x3e800000,
  0xbe800000, 0xbe000000, 0x00000000, 0x3e000000,
  0xbe000000, 0xbd800000, 0x00000000, 0x3d800000,
  0xbd800000, 0xbd000000, 0x00000000, 0x3d000000,
  0xbd000000, 0xbc800000, 0x00000000, 0x3c800000,
  0xbc800000, 0xbc000000, 0x00000000, 0x3c000000,
  0xbc000000, 0xbb800000, 0x00000000, 0x3b800000,
  0xbb800000, 0xbb000000, 0x00000000, 0x3b000000,
  0xbb000000, 0xba800000, 0x00000000, 0x3a800000,
  0xba800000, 0xba000000, 0x00000000, 0x3a000000,
  0xba000000, 0xb9800000, 0x00000000, 0x39800000,
  0xb9800000, 0xb9000000, 0x00000000, 0x39000000,
  0xb9000000, 0xb8800000, 0x00000000, 0x38800000,
  0xb8800000, 0xb8000000, 0x00000000, 0x38000000,
  0xb8000000, 0xb7800000, 0x00000000, 0x37800000,
  0xb7800000, 0xb7000000, 0x00000000, 0x37000000,
  0xb7000000, 0xb6800000, 0x00000000, 0x36800000,
  0xb6800000, 0xb6000000, 0x00000000, 0x36000000,
  0xb6000000, 0xb5800000, 0x00000000, 0x35800000,
  0xb5800000, 0xb5000000, 0x00000000, 0x35000000,
  0xb5000000, 0xb4800000, 0x00000000, 0x34800000,
  0xb4800000, 0xb4000000, 0x00000000, 0x34000000,
  0xb4000000, 0xb3800000, 0x00000000, 0x33800000,
  0xb3800000, 0xb3000000, 0x00000000, 0x33000000,
  0xb3000000, 0xb2800000, 0x00000000, 0x32800000,
  0xb2800000, 0xb2000000, 0x00000000, 0x32000000,
  0xb2000000, 0xb1800000, 0x00000000, 0x31800000,
  0xb1800000, 0xb1000000, 0x00000000, 0x31000000,
  0xb1000000, 0xb0800000, 0x00000000, 0x30800000,
  0xb0800000, 0xb0000000, 0x00000000, 0x30000000,
  0xb0000000, 0xaf800000, 0x00000000, 0x2f800000,
  0xbf800000, 0x00000000, 0x3f800000, 0x4b000000,
  0xbf000000, 0x00000000, 0x3f000000, 0x4a800000,
  0xbe800000, 0x00000000, 0x3e800000, 0x4a000000,
  0xbe000000, 0x00000000, 0x3e000000, 0x49800000,
  0xbd800000, 0x00000000, 0x3d800000, 0x49000000,
  0xbd000000, 0x00000000, 0x3d000000, 0x48800000,
  0xbc800000, 0x00000000, 0x3c800000, 0x48000000,
  0xbc000000, 0x00000000, 0x3c000000, 0x47800000,
  0xbb800000, 0x00000000, 0x3b800000, 0x47000000,
  0xbb000000, 0x00000000, 0x3b000000, 0x46800000,
  0xba800000, 0x00000000, 0x3a800000, 0x46000000,
  0xba000000, 0x00000000, 0x3a000000, 0x45800000,
  0xb9800000, 0x00000000, 0x39800000, 0x45000000,
  0xb9000000, 0x00000000, 0x39000000, 0x44800000,
  0xb8800000, 0x00000000, 0x38800000, 0x44000000,
  0xb8000000, 0x00000000, 0x38000000, 0x43800000,
  0xb7800000, 0x00000000, 0x37800000, 0x43000000,
  0xb7000000, 0x00000000, 0x37000000, 0x42800000,
  0xb6800000, 0x00000000, 0x36800000, 0x42000000,
  0xb6000000, 0x00000000, 0x36000000, 0x41800000,
  0xb5800000, 0x00000000, 0x35800000, 0x41000000,
  0xb5000000, 0x00000000, 0x35000000, 0x40800000,
  0xb4800000, 0x00000000, 0x34800000, 0x40000000,
  0xb4000000, 0x00000000, 0x34000000, 0x3f800000,
  0xb3800000, 0x00000000, 0x33800000, 0x3f000000,
  0xb3000000, 0x00000000, 0x33000000, 0x3e800000,
  0xb2800000, 0x00000000, 0x32800000, 0x3e000000,
  0xb2000000, 0x00000000, 0x32000000, 0x3d800000,
  0xb1800000, 0x00000000, 0x31800000, 0x3d000000,
  0xb1000000, 0x00000000, 0x31000000, 0x3c800000,
  0xb0800000, 0x00000000, 0x30800000, 0x3c000000,
  0xb0000000, 0x00000000, 0x30000000, 0x3b800000,
  0xaf800000, 0x00000000, 0x2f800000, 0x3b000000,
  0x00000000, 0x3f800000, 0x4b000000, 0x4b000001,
  0x00000000, 0x3f000000, 0x4a800000, 0x4a800001,
  0x00000000, 0x3e800000, 0x4a000000, 0x4a000001,
  0x00000000, 0x3e000000, 0x49800000, 0x49800001,
  0x00000000, 0x3d800000, 0x49000000, 0x49000001,
  0x00000000, 0x3d000000, 0x48800000, 0x48800001,
  0x00000000, 0x3c800000, 0x48000000, 0x48000001,
  0x00000000, 0x3c000000, 0x47800000, 0x47800001,
  0x00000000, 0x3b800000, 0x47000000, 0x47000001,
  0x00000000, 0x3b000000, 0x46800000, 0x46800001,
  0x00000000, 0x3a800000, 0x46000000, 0x46000001,
  0x00000000, 0x3a000000, 0x45800000, 0x45800001,
  0x00000000, 0x39800000, 0x45000000, 0x45000001,
  0x00000000, 0x39000000, 0x44800000, 0x44800001,
  0x00000000, 0x38800000, 0x44000000, 0x44000001,
  0x00000000, 0x38000000, 0x43800000, 0x43800001,
  0x00000000, 0x37800000, 0x43000000, 0x43000001,
  0x00000000, 0x37000000, 0x42800000, 0x42800001,
  0x00000000, 0x36800000, 0x42000000, 0x42000001,
  0x00000000, 0x36000000, 0x41800000, 0x41800001,
  0x00000000, 0x35800000, 0x41000000, 0x41000001,
  0x00000000, 0x35000000, 0x40800000, 0x40800001,
  0x00000000, 0x34800000, 0x40000000, 0x40000001,
  0x00000000, 0x34000000, 0x3f800000, 0x3f800001,
  0x00000000, 0x33800000, 0x3f000000, 0x3f000001,
  0x00000000, 0x33000000, 0x3e800000, 0x3e800001,
  0x00000000, 0x32800000, 0x3e000000, 0x3e000001,
  0x00000000, 0x32000000, 0x3d800000, 0x3d800001,
  0x00000000, 0x31800000, 0x3d000000, 0x3d000001,
  0x00000000, 0x31000000, 0x3c800000, 0x3c800001,
  0x00000000, 0x30800000, 0x3c000000, 0x3c000001,
  0x00000000, 0x30000000, 0x3b800000, 0x3b800001,
  0x00000000, 0x2f800000, 0x3b000000, 0x3b000001,
  0x3f800000, 0x4b000000, 0x4b000001, 0x4b076543,
  0x3f000000, 0x4a800000, 0x4a800001, 0x4a876543,
  0x3e800000, 0x4a000000, 0x4a000001, 0x4a076543,
  0x3e000000, 0x49800000, 0x49800001, 0x49876543,
  0x3d800000, 0x49000000, 0x49000001, 0x49076543,
  0x3d000000, 0x48800000, 0x48800001, 0x48876543,
  0x3c800000, 0x48000000, 0x48000001, 0x48076543,
  0x3c000000, 0x47800000, 0x47800001, 0x47876543,
  0x3b800000, 0x47000000, 0x47000001, 0x47076543,
  0x3b000000, 0x46800000, 0x46800001, 0x46876543,
  0x3a800000, 0x46000000, 0x46000001, 0x46076543,
  0x3a000000, 0x45800000, 0x45800001, 0x45876543,
  0x39800000, 0x45000000, 0x45000001, 0x45076543,
  0x39000000, 0x44800000, 0x44800001, 0x44876543,
  0x38800000, 0x44000000, 0x44000001, 0x44076543,
  0x38000000, 0x43800000, 0x43800001, 0x43876543,
  0x37800000, 0x43000000, 0x43000001, 0x43076543,
  0x37000000, 0x42800000, 0x42800001, 0x42876543,
  0x36800000, 0x42000000, 0x42000001, 0x42076543,
  0x36000000, 0x41800000, 0x41800001, 0x41876543,
  0x35800000, 0x41000000, 0x41000001, 0x41076543,
  0x35000000, 0x40800000, 0x40800001, 0x40876543,
  0x34800000, 0x40000000, 0x40000001, 0x40076543,
  0x34000000, 0x3f800000, 0x3f800001, 0x3f876543,
  0x33800000, 0x3f000000, 0x3f000001, 0x3f076543,
  0x33000000, 0x3e800000, 0x3e800001, 0x3e876543,
  0x32800000, 0x3e000000, 0x3e000001, 0x3e076543,
  0x32000000, 0x3d800000, 0x3d800001, 0x3d876543,
  0x31800000, 0x3d000000, 0x3d000001, 0x3d076543,
  0x31000000, 0x3c800000, 0x3c800001, 0x3c876543,
  0x30800000, 0x3c000000, 0x3c000001, 0x3c076543,
  0x30000000, 0x3b800000, 0x3b800001, 0x3b876543,
  0x2f800000, 0x3b000000, 0x3b000001, 0x3b076543,
  0x4b000000, 0x4b000001, 0x4b076543, 0x4b800000,
  0x4a800000, 0x4a800001, 0x4a876543, 0x4b000000,
  0x4a000000, 0x4a000001, 0x4a076543, 0x4a800000,
  0x49800000, 0x49800001, 0x49876543, 0x4a000000,
  0x49000000, 0x49000001, 0x49076543, 0x49800000,
  0x48800000, 0x48800001, 0x48876543, 0x49000000,
  0x48000000, 0x48000001, 0x48076543, 0x48800000,
  0x47800000, 0x47800001, 0x47876543, 0x48000000,
  0x47000000, 0x47000001, 0x47076543, 0x47800000,
  0x46800000, 0x46800001, 0x46876543, 0x47000000,
  0x46000000, 0x46000001, 0x46076543, 0x46800000,
  0x45800000, 0x45800001, 0x45876543, 0x46000000,
  0x45000000, 0x45000001, 0x45076543, 0x45800000,
  0x44800000, 0x44800001, 0x44876543, 0x45000000,
  0x44000000, 0x44000001, 0x44076543, 0x44800000,
  0x43800000, 0x43800001, 0x43876543, 0x44000000,
  0x43000000, 0x43000001, 0x43076543, 0x43800000,
  0x42800000, 0x42800001, 0x42876543, 0x43000000,
  0x42000000, 0x42000001, 0x42076543, 0x42800000,
  0x41800000, 0x41800001, 0x41876543, 0x42000000,
  0x41000000, 0x41000001, 0x41076543, 0x41800000,
  0x40800000, 0x40800001, 0x40876543, 0x41000000,
  0x40000000, 0x40000001, 0x40076543, 0x40800000,
  0x3f800000, 0x3f800001, 0x3f876543, 0x40000000,
  0x3f000000, 0x3f000001, 0x3f076543, 0x3f800000,
  0x3e800000, 0x3e800001, 0x3e876543, 0x3f000000,
  0x3e000000, 0x3e000001, 0x3e076543, 0x3e800000,
  0x3d800000, 0x3d800001, 0x3d876543, 0x3e000000,
  0x3d000000, 0x3d000001, 0x3d076543, 0x3d800000,
  0x3c800000, 0x3c800001, 0x3c876543, 0x3d000000,
  0x3c000000, 0x3c000001, 0x3c076543, 0x3c800000,
  0x3b800000, 0x3b800001, 0x3b876543, 0x3c000000,
  0x3b000000, 0x3b000001, 0x3b076543, 0x3b800000,
  0x4b000001, 0x4b076543, 0x4b800000, 0x4b800000,
  0x4a800001, 0x4a876543, 0x4b000000, 0x4b000000,
  0x4a000001, 0x4a076543, 0x4a800000, 0x4a800000,
  0x49800001, 0x49876543, 0x4a000000, 0x4a000000,
  0x49000001, 0x49076543, 0x49800000, 0x49800000,
  0x48800001, 0x48876543, 0x49000000, 0x49000000,
  0x48000001, 0x48076543, 0x48800000, 0x48800000,
  0x47800001, 0x47876543, 0x48000000, 0x48000000,
  0x47000001, 0x47076543, 0x47800000, 0x47800000,
  0x46800001, 0x46876543, 0x47000000, 0x47000000,
  0x46000001, 0x46076543, 0x46800000, 0x46800000,
  0x45800001, 0x45876543, 0x46000000, 0x46000000,
  0x45000001, 0x45076543, 0x45800000, 0x45800000,
  0x44800001, 0x44876543, 0x45000000, 0x45000000,
  0x44000001, 0x44076543, 0x44800000, 0x44800000,
  0x43800001, 0x43876543, 0x44000000, 0x44000000,
  0x43000001, 0x43076543, 0x43800000, 0x43800000,
  0x42800001, 0x42876543, 0x43000000, 0x43000000,
  0x42000001, 0x42076543, 0x42800000, 0x42800000,
  0x41800001, 0x41876543, 0x42000000, 0x42000000,
  0x41000001, 0x41076543, 0x41800000, 0x41800000,
  0x40800001, 0x40876543, 0x41000000, 0x41000000,
  0x40000001, 0x40076543, 0x40800000, 0x40800000,
  0x3f800001, 0x3f876543, 0x40000000, 0x40000000,
  0x3f000001, 0x3f076543, 0x3f800000, 0x3f800000,
  0x3e800001, 0x3e876543, 0x3f000000, 0x3f000000,
  0x3e000001, 0x3e076543, 0x3e800000, 0x3e800000,
  0x3d800001, 0x3d876543, 0x3e000000, 0x3e000000,
  0x3d000001, 0x3d076543, 0x3d800000, 0x3d800000,
  0x3c800001, 0x3c876543, 0x3d000000, 0x3d000000,
  0x3c000001, 0x3c076543, 0x3c800000, 0x3c800000,
  0x3b800001, 0x3b876543, 0x3c000000, 0x3c000000,
  0x3b000001, 0x3b076543, 0x3b800000, 0x3b800000,
  0x4b076543, 0x4b800000, 0x4b800000, 0x4bc00000,
  0x4a876543, 0x4b000000, 0x4b000000, 0x4b400000,
  0x4a076543, 0x4a800000, 0x4a800000, 0x4ac00000,
  0x49876543, 0x4a000000, 0x4a000000, 0x4a400000,
  0x49076543, 0x49800000, 0x49800000, 0x49c00000,
  0x48876543, 0x49000000, 0x49000000, 0x49400000,
  0x48076543, 0x48800000, 0x48800000, 0x48c00000,
  0x47876543, 0x48000000, 0x48000000, 0x48400000,
  0x47076543, 0x47800000, 0x47800000, 0x47c00000,
  0x46876543, 0x47000000, 0x47000000, 0x47400000,
  0x46076543, 0x46800000, 0x46800000, 0x46c00000,
  0x45876543, 0x46000000, 0x46000000, 0x46400000,
  0x45076543, 0x45800000, 0x45800000, 0x45c00000,
  0x44876543, 0x45000000, 0x45000000, 0x45400000,
  0x44076543, 0x44800000, 0x44800000, 0x44c00000,
  0x43876543, 0x44000000, 0x44000000, 0x44400000,
  0x43076543, 0x43800000, 0x43800000, 0x43c00000,
  0x42876543, 0x43000000, 0x43000000, 0x43400000,
  0x42076543, 0x42800000, 0x42800000, 0x42c00000,
  0x41876543, 0x42000000, 0x42000000, 0x42400000,
  0x41076543, 0x41800000, 0x41800000, 0x41c00000,
  0x40876543, 0x41000000, 0x41000000, 0x41400000,
  0x40076543, 0x40800000, 0x40800000, 0x40c00000,
  0x3f876543, 0x40000000, 0x40000000, 0x40400000,
  0x3f076543, 0x3f800000, 0x3f800000, 0x3fc00000,
  0x3e876543, 0x3f000000, 0x3f000000, 0x3f400000,
  0x3e076543, 0x3e800000, 0x3e800000, 0x3ec00000,
  0x3d876543, 0x3e000000, 0x3e000000, 0x3e400000,
  0x3d076543, 0x3d800000, 0x3d800000, 0x3dc00000,
  0x3c876543, 0x3d000000, 0x3d000000, 0x3d400000,
  0x3c076543, 0x3c800000, 0x3c800000, 0x3cc00000,
  0x3b876543, 0x3c000000, 0x3c000000, 0x3c400000,
  0x3b076543, 0x3b800000, 0x3b800000, 0x3bc00000,
  0x4b800000, 0x4b800000, 0x4bc00000, 0x4bc00000,
  0x4b000000, 0x4b000000, 0x4b400000, 0x4b400000,
  0x4a800000, 0x4a800000, 0x4ac00000, 0x4ac00000,
  0x4a000000, 0x4a000000, 0x4a400000, 0x4a400000,
  0x49800000, 0x49800000, 0x49c00000, 0x49c00000,
  0x49000000, 0x49000000, 0x49400000, 0x49400000,
  0x48800000, 0x48800000, 0x48c00000, 0x48c00000,
  0x48000000, 0x48000000, 0x48400000, 0x48400000,
  0x47800000, 0x47800000, 0x47c00000, 0x47c00000,
  0x47000000, 0x47000000, 0x47400000, 0x47400000,
  0x46800000, 0x46800000, 0x46c00000, 0x46c00000,
  0x46000000, 0x46000000, 0x46400000, 0x46400000,
  0x45800000, 0x45800000, 0x45c00000, 0x45c00000,
  0x45000000, 0x45000000, 0x45400000, 0x45400000,
  0x44800000, 0x44800000, 0x44c00000, 0x44c00000,
  0x44000000, 0x44000000, 0x44400000, 0x44400000,
  0x43800000, 0x43800000, 0x43c00000, 0x43c00000,
  0x43000000, 0x43000000, 0x43400000, 0x43400000,
  0x42800000, 0x42800000, 0x42c00000, 0x42c00000,
  0x42000000, 0x42000000, 0x42400000, 0x42400000,
  0x41800000, 0x41800000, 0x41c00000, 0x41c00000,
  0x41000000, 0x41000000, 0x41400000, 0x41400000,
  0x40800000, 0x40800000, 0x40c00000, 0x40c00000,
  0x40000000, 0x40000000, 0x40400000, 0x40400000,
  0x3f800000, 0x3f800000, 0x3fc00000, 0x3fc00000,
  0x3f000000, 0x3f000000, 0x3f400000, 0x3f400000,
  0x3e800000, 0x3e800000, 0x3ec00000, 0x3ec00000,
  0x3e000000, 0x3e000000, 0x3e400000, 0x3e400000,
  0x3d800000, 0x3d800000, 0x3dc00000, 0x3dc00000,
  0x3d000000, 0x3d000000, 0x3d400000, 0x3d400000,
  0x3c800000, 0x3c800000, 0x3cc00000, 0x3cc00000,
  0x3c000000, 0x3c000000, 0x3c400000, 0x3c400000,
  0x3b800000, 0x3b800000, 0x3bc00000, 0x3bc00000,
  0x4b800000, 0x4bc00000, 0x4bc00000, 0x4c000000,
  0x4b000000, 0x4b400000, 0x4b400000, 0x4b800000,
  0x4a800000, 0x4ac00000, 0x4ac00000, 0x4b000000,
  0x4a000000, 0x4a400000, 0x4a400000, 0x4a800000,
  0x49800000, 0x49c00000, 0x49c00000, 0x4a000000,
  0x49000000, 0x49400000, 0x49400000, 0x49800000,
  0x48800000, 0x48c00000, 0x48c00000, 0x49000000,
  0x48000000, 0x48400000, 0x48400000, 0x48800000,
  0x47800000, 0x47c00000, 0x47c00000, 0x48000000,
  0x47000000, 0x47400000, 0x47400000, 0x47800000,
  0x46800000, 0x46c00000, 0x46c00000, 0x47000000,
  0x46000000, 0x46400000, 0x46400000, 0x46800000,
  0x45800000, 0x45c00000, 0x45c00000, 0x46000000,
  0x45000000, 0x45400000, 0x45400000, 0x45800000,
  0x44800000, 0x44c00000, 0x44c00000, 0x45000000,
  0x44000000, 0x44400000, 0x44400000, 0x44800000,
  0x43800000, 0x43c00000, 0x43c00000, 0x44000000,
  0x43000000, 0x43400000, 0x43400000, 0x43800000,
  0x42800000, 0x42c00000, 0x42c00000, 0x43000000,
  0x42000000, 0x42400000, 0x42400000, 0x42800000,
  0x41800000, 0x41c00000, 0x41c00000, 0x42000000,
  0x41000000, 0x41400000, 0x41400000, 0x41800000,
  0x40800000, 0x40c00000, 0x40c00000, 0x41000000,
  0x40000000, 0x40400000, 0x40400000, 0x40800000,
  0x3f800000, 0x3fc00000, 0x3fc00000, 0x40000000,
  0x3f000000, 0x3f400000, 0x3f400000, 0x3f800000,
  0x3e800000, 0x3ec00000, 0x3ec00000, 0x3f000000,
  0x3e000000, 0x3e400000, 0x3e400000, 0x3e800000,
  0x3d800000, 0x3dc00000, 0x3dc00000, 0x3e000000,
  0x3d000000, 0x3d400000, 0x3d400000, 0x3d800000,
  0x3c800000, 0x3cc00000, 0x3cc00000, 0x3d000000,
  0x3c000000, 0x3c400000, 0x3c400000, 0x3c800000,
  0x3b800000, 0x3bc00000, 0x3bc00000, 0x3c000000,
  0x4bc00000, 0x4bc00000, 0x4c000000, 0x4c000000,
  0x4b400000, 0x4b400000, 0x4b800000, 0x4b800000,
  0x4ac00000, 0x4ac00000, 0x4b000000, 0x4b000000,
  0x4a400000, 0x4a400000, 0x4a800000, 0x4a800000,
  0x49c00000, 0x49c00000, 0x4a000000, 0x4a000000,
  0x49400000, 0x49400000, 0x49800000, 0x49800000,
  0x48c00000, 0x48c00000, 0x49000000, 0x49000000,
  0x48400000, 0x48400000, 0x48800000, 0x48800000,
  0x47c00000, 0x47c00000, 0x48000000, 0x48000000,
  0x47400000, 0x47400000, 0x47800000, 0x47800000,
  0x46c00000, 0x46c00000, 0x47000000, 0x47000000,
  0x46400000, 0x46400000, 0x46800000, 0x46800000,
  0x45c00000, 0x45c00000, 0x46000000, 0x46000000,
  0x45400000, 0x45400000, 0x45800000, 0x45800000,
  0x44c00000, 0x44c00000, 0x45000000, 0x45000000,
  0x44400000, 0x44400000, 0x44800000, 0x44800000,
  0x43c00000, 0x43c00000, 0x44000000, 0x44000000,
  0x43400000, 0x43400000, 0x43800000, 0x43800000,
  0x42c00000, 0x42c00000, 0x43000000, 0x43000000,
  0x42400000, 0x42400000, 0x42800000, 0x42800000,
  0x41c00000, 0x41c00000, 0x42000000, 0x42000000,
  0x41400000, 0x41400000, 0x41800000, 0x41800000,
  0x40c00000, 0x40c00000, 0x41000000, 0x41000000,
  0x40400000, 0x40400000, 0x40800000, 0x40800000,
  0x3fc00000, 0x3fc00000, 0x40000000, 0x40000000,
  0x3f400000, 0x3f400000, 0x3f800000, 0x3f800000,
  0x3ec00000, 0x3ec00000, 0x3f000000, 0x3f000000,
  0x3e400000, 0x3e400000, 0x3e800000, 0x3e800000,
  0x3dc00000, 0x3dc00000, 0x3e000000, 0x3e000000,
  0x3d400000, 0x3d400000, 0x3d800000, 0x3d800000,
  0x3cc00000, 0x3cc00000, 0x3d000000, 0x3d000000,
  0x3c400000, 0x3c400000, 0x3c800000, 0x3c800000,
  0x3bc00000, 0x3bc00000, 0x3c000000, 0x3c000000,
  0x4bc00000, 0x4c000000, 0x4c000000, 0x4c200000,
  0x4b400000, 0x4b800000, 0x4b800000, 0x4ba00000,
  0x4ac00000, 0x4b000000, 0x4b000000, 0x4b200000,
  0x4a400000, 0x4a800000, 0x4a800000, 0x4aa00000,
  0x49c00000, 0x4a000000, 0x4a000000, 0x4a200000,
  0x49400000, 0x49800000, 0x49800000, 0x49a00000,
  0x48c00000, 0x49000000, 0x49000000, 0x49200000,
  0x48400000, 0x48800000, 0x48800000, 0x48a00000,
  0x47c00000, 0x48000000, 0x48000000, 0x48200000,
  0x47400000, 0x47800000, 0x47800000, 0x47a00000,
  0x46c00000, 0x47000000, 0x47000000, 0x47200000,
  0x46400000, 0x46800000, 0x46800000, 0x46a00000,
  0x45c00000, 0x46000000, 0x46000000, 0x46200000,
  0x45400000, 0x45800000, 0x45800000, 0x45a00000,
  0x44c00000, 0x45000000, 0x45000000, 0x45200000,
  0x44400000, 0x44800000, 0x44800000, 0x44a00000,
  0x43c00000, 0x44000000, 0x44000000, 0x44200000,
  0x43400000, 0x43800000, 0x43800000, 0x43a00000,
  0x42c00000, 0x43000000, 0x43000000, 0x43200000,
  0x42400000, 0x42800000, 0x42800000, 0x42a00000,
  0x41c00000, 0x42000000, 0x42000000, 0x42200000,
  0x41400000, 0x41800000, 0x41800000, 0x41a00000,
  0x40c00000, 0x41000000, 0x41000000, 0x41200000,
  0x40400000, 0x40800000, 0x40800000, 0x40a00000,
  0x3fc00000, 0x40000000, 0x40000000, 0x40200000,
  0x3f400000, 0x3f800000, 0x3f800000, 0x3fa00000,
  0x3ec00000, 0x3f000000, 0x3f000000, 0x3f200000,
  0x3e400000, 0x3e800000, 0x3e800000, 0x3ea00000,
  0x3dc00000, 0x3e000000, 0x3e000000, 0x3e200000,
  0x3d400000, 0x3d800000, 0x3d800000, 0x3da00000,
  0x3cc00000, 0x3d000000, 0x3d000000, 0x3d200000,
  0x3c400000, 0x3c800000, 0x3c800000, 0x3ca00000,
  0x3bc00000, 0x3c000000, 0x3c000000, 0x3c200000,
  0x4c000000, 0x4c000000, 0x4c200000, 0x4c200000,
  0x4b800000, 0x4b800000, 0x4ba00000, 0x4ba00000,
  0x4b000000, 0x4b000000, 0x4b200000, 0x4b200000,
  0x4a800000, 0x4a800000, 0x4aa00000, 0x4aa00000,
  0x4a000000, 0x4a000000, 0x4a200000, 0x4a200000,
  0x49800000, 0x49800000, 0x49a00000, 0x49a00000,
  0x49000000, 0x49000000, 0x49200000, 0x49200000,
  0x48800000, 0x48800000, 0x48a00000, 0x48a00000,
  0x48000000, 0x48000000, 0x48200000, 0x48200000,
  0x47800000, 0x47800000, 0x47a00000, 0x47a00000,
  0x47000000, 0x47000000, 0x47200000, 0x47200000,
  0x46800000, 0x46800000, 0x46a00000, 0x46a00000,
  0x46000000, 0x46000000, 0x46200000, 0x46200000,
  0x45800000, 0x45800000, 0x45a00000, 0x45a00000,
  0x45000000, 0x45000000, 0x45200000, 0x45200000,
  0x44800000, 0x44800000, 0x44a00000, 0x44a00000,
  0x44000000, 0x44000000, 0x44200000, 0x44200000,
  0x43800000, 0x43800000, 0x43a00000, 0x43a00000,
  0x43000000, 0x43000000, 0x43200000, 0x43200000,
  0x42800000, 0x42800000, 0x42a00000, 0x42a00000,
  0x42000000, 0x42000000, 0x42200000, 0x42200000,
  0x41800000, 0x41800000, 0x41a00000, 0x41a00000,
  0x41000000, 0x41000000, 0x41200000, 0x41200000,
  0x40800000, 0x40800000, 0x40a00000, 0x40a00000,
  0x40000000, 0x40000000, 0x40200000, 0x40200000,
  0x3f800000, 0x3f800000, 0x3fa00000, 0x3fa00000,
  0x3f000000, 0x3f000000, 0x3f200000, 0x3f200000,
  0x3e800000, 0x3e800000, 0x3ea00000, 0x3ea00000,
  0x3e000000, 0x3e000000, 0x3e200000, 0x3e200000,
  0x3d800000, 0x3d800000, 0x3da00000, 0x3da00000,
  0x3d000000, 0x3d000000, 0x3d200000, 0x3d200000,
  0x3c800000, 0x3c800000, 0x3ca00000, 0x3ca00000,
  0x3c000000, 0x3c000000, 0x3c200000, 0x3c200000,
  0x4c000000, 0x4c200000, 0x4c200000, 0x4c400000,
  0x4b800000, 0x4ba00000, 0x4ba00000, 0x4bc00000,
  0x4b000000, 0x4b200000, 0x4b200000, 0x4b400000,
  0x4a800000, 0x4aa00000, 0x4aa00000, 0x4ac00000,
  0x4a000000, 0x4a200000, 0x4a200000, 0x4a400000,
  0x49800000, 0x49a00000, 0x49a00000, 0x49c00000,
  0x49000000, 0x49200000, 0x49200000, 0x49400000,
  0x48800000, 0x48a00000, 0x48a00000, 0x48c00000,
  0x48000000, 0x48200000, 0x48200000, 0x48400000,
  0x47800000, 0x47a00000, 0x47a00000, 0x47c00000,
  0x47000000, 0x47200000, 0x47200000, 0x47400000,
  0x46800000, 0x46a00000, 0x46a00000, 0x46c00000,
  0x46000000, 0x46200000, 0x46200000, 0x46400000,
  0x45800000, 0x45a00000, 0x45a00000, 0x45c00000,
  0x45000000, 0x45200000, 0x45200000, 0x45400000,
  0x44800000, 0x44a00000, 0x44a00000, 0x44c00000,
  0x44000000, 0x44200000, 0x44200000, 0x44400000,
  0x43800000, 0x43a00000, 0x43a00000, 0x43c00000,
  0x43000000, 0x43200000, 0x43200000, 0x43400000,
  0x42800000, 0x42a00000, 0x42a00000, 0x42c00000,
  0x42000000, 0x42200000, 0x42200000, 0x42400000,
  0x41800000, 0x41a00000, 0x41a00000, 0x41c00000,
  0x41000000, 0x41200000, 0x41200000, 0x41400000,
  0x40800000, 0x40a00000, 0x40a00000, 0x40c00000,
  0x40000000, 0x40200000, 0x40200000, 0x40400000,
  0x3f800000, 0x3fa00000, 0x3fa00000, 0x3fc00000,
  0x3f000000, 0x3f200000, 0x3f200000, 0x3f400000,
  0x3e800000, 0x3ea00000, 0x3ea00000, 0x3ec00000,
  0x3e000000, 0x3e200000, 0x3e200000, 0x3e400000,
  0x3d800000, 0x3da00000, 0x3da00000, 0x3dc00000,
  0x3d000000, 0x3d200000, 0x3d200000, 0x3d400000,
  0x3c800000, 0x3ca00000, 0x3ca00000, 0x3cc00000,
  0x3c000000, 0x3c200000, 0x3c200000, 0x3c400000,
  0x4c200000, 0x4c200000, 0x4c400000, 0x4e800000,
  0x4ba00000, 0x4ba00000, 0x4bc00000, 0x4e000000,
  0x4b200000, 0x4b200000, 0x4b400000, 0x4d800000,
  0x4aa00000, 0x4aa00000, 0x4ac00000, 0x4d000000,
  0x4a200000, 0x4a200000, 0x4a400000, 0x4c800000,
  0x49a00000, 0x49a00000, 0x49c00000, 0x4c000000,
  0x49200000, 0x49200000, 0x49400000, 0x4b800000,
  0x48a00000, 0x48a00000, 0x48c00000, 0x4b000000,
  0x48200000, 0x48200000, 0x48400000, 0x4a800000,
  0x47a00000, 0x47a00000, 0x47c00000, 0x4a000000,
  0x47200000, 0x47200000, 0x47400000, 0x49800000,
  0x46a00000, 0x46a00000, 0x46c00000, 0x49000000,
  0x46200000, 0x46200000, 0x46400000, 0x48800000,
  0x45a00000, 0x45a00000, 0x45c00000, 0x48000000,
  0x45200000, 0x45200000, 0x45400000, 0x47800000,
  0x44a00000, 0x44a00000, 0x44c00000, 0x47000000,
  0x44200000, 0x44200000, 0x44400000, 0x46800000,
  0x43a00000, 0x43a00000, 0x43c00000, 0x46000000,
  0x43200000, 0x43200000, 0x43400000, 0x45800000,
  0x42a00000, 0x42a00000, 0x42c00000, 0x45000000,
  0x42200000, 0x42200000, 0x42400000, 0x44800000,
  0x41a00000, 0x41a00000, 0x41c00000, 0x44000000,
  0x41200000, 0x41200000, 0x41400000, 0x43800000,
  0x40a00000, 0x40a00000, 0x40c00000, 0x43000000,
  0x40200000, 0x40200000, 0x40400000, 0x42800000,
  0x3fa00000, 0x3fa00000, 0x3fc00000, 0x42000000,
  0x3f200000, 0x3f200000, 0x3f400000, 0x41800000,
  0x3ea00000, 0x3ea00000, 0x3ec00000, 0x41000000,
  0x3e200000, 0x3e200000, 0x3e400000, 0x40800000,
  0x3da00000, 0x3da00000, 0x3dc00000, 0x40000000,
  0x3d200000, 0x3d200000, 0x3d400000, 0x3f800000,
  0x3ca00000, 0x3ca00000, 0x3cc00000, 0x3f000000,
  0x3c200000, 0x3c200000, 0x3c400000, 0x3e800000,
  0x4c200000, 0x4c400000, 0x4e800000, 0x4effffff,
  0x4ba00000, 0x4bc00000, 0x4e000000, 0x4e7fffff,
  0x4b200000, 0x4b400000, 0x4d800000, 0x4dffffff,
  0x4aa00000, 0x4ac00000, 0x4d000000, 0x4d7fffff,
  0x4a200000, 0x4a400000, 0x4c800000, 0x4cffffff,
  0x49a00000, 0x49c00000, 0x4c000000, 0x4c7fffff,
  0x49200000, 0x49400000, 0x4b800000, 0x4bffffff,
  0x48a00000, 0x48c00000, 0x4b000000, 0x4b7fffff,
  0x48200000, 0x48400000, 0x4a800000, 0x4affffff,
  0x47a00000, 0x47c00000, 0x4a000000, 0x4a7fffff,
  0x47200000, 0x47400000, 0x49800000, 0x49ffffff,
  0x46a00000, 0x46c00000, 0x49000000, 0x497fffff,
  0x46200000, 0x46400000, 0x48800000, 0x48ffffff,
  0x45a00000, 0x45c00000, 0x48000000, 0x487fffff,
  0x45200000, 0x45400000, 0x47800000, 0x47ffffff,
  0x44a00000, 0x44c00000, 0x47000000, 0x477fffff,
  0x44200000, 0x44400000, 0x46800000, 0x46ffffff,
  0x43a00000, 0x43c00000, 0x46000000, 0x467fffff,
  0x43200000, 0x43400000, 0x45800000, 0x45ffffff,
  0x42a00000, 0x42c00000, 0x45000000, 0x457fffff,
  0x42200000, 0x42400000, 0x44800000, 0x44ffffff,
  0x41a00000, 0x41c00000, 0x44000000, 0x447fffff,
  0x41200000, 0x41400000, 0x43800000, 0x43ffffff,
  0x40a00000, 0x40c00000, 0x43000000, 0x437fffff,
  0x40200000, 0x40400000, 0x42800000, 0x42ffffff,
  0x3fa00000, 0x3fc00000, 0x42000000, 0x427fffff,
  0x3f200000, 0x3f400000, 0x41800000, 0x41ffffff,
  0x3ea00000, 0x3ec00000, 0x41000000, 0x417fffff,
  0x3e200000, 0x3e400000, 0x40800000, 0x40ffffff,
  0x3da00000, 0x3dc00000, 0x40000000, 0x407fffff,
  0x3d200000, 0x3d400000, 0x3f800000, 0x3fffffff,
  0x3ca00000, 0x3cc00000, 0x3f000000, 0x3f7fffff,
  0x3c200000, 0x3c400000, 0x3e800000, 0x3effffff,
  0x4c400000, 0x4e800000, 0x4effffff, 0x4f000000,
  0x4bc00000, 0x4e000000, 0x4e7fffff, 0x4e800000,
  0x4b400000, 0x4d800000, 0x4dffffff, 0x4e000000,
  0x4ac00000, 0x4d000000, 0x4d7fffff, 0x4d800000,
  0x4a400000, 0x4c800000, 0x4cffffff, 0x4d000000,
  0x49c00000, 0x4c000000, 0x4c7fffff, 0x4c800000,
  0x49400000, 0x4b800000, 0x4bffffff, 0x4c000000,
  0x48c00000, 0x4b000000, 0x4b7fffff, 0x4b800000,
  0x48400000, 0x4a800000, 0x4affffff, 0x4b000000,
  0x47c00000, 0x4a000000, 0x4a7fffff, 0x4a800000,
  0x47400000, 0x49800000, 0x49ffffff, 0x4a000000,
  0x46c00000, 0x49000000, 0x497fffff, 0x49800000,
  0x46400000, 0x48800000, 0x48ffffff, 0x49000000,
  0x45c00000, 0x48000000, 0x487fffff, 0x48800000,
  0x45400000, 0x47800000, 0x47ffffff, 0x48000000,
  0x44c00000, 0x47000000, 0x477fffff, 0x47800000,
  0x44400000, 0x46800000, 0x46ffffff, 0x47000000,
  0x43c00000, 0x46000000, 0x467fffff, 0x46800000,
  0x43400000, 0x45800000, 0x45ffffff, 0x46000000,
  0x42c00000, 0x45000000, 0x457fffff, 0x45800000,
  0x42400000, 0x44800000, 0x44ffffff, 0x45000000,
  0x41c00000, 0x44000000, 0x447fffff, 0x44800000,
  0x41400000, 0x43800000, 0x43ffffff, 0x44000000,
  0x40c00000, 0x43000000, 0x437fffff, 0x43800000,
  0x40400000, 0x42800000, 0x42ffffff, 0x43000000,
  0x3fc00000, 0x42000000, 0x427fffff, 0x42800000,
  0x3f400000, 0x41800000, 0x41ffffff, 0x42000000,
  0x3ec00000, 0x41000000, 0x417fffff, 0x41800000,
  0x3e400000, 0x40800000, 0x40ffffff, 0x41000000,
  0x3dc00000, 0x40000000, 0x407fffff, 0x40800000,
  0x3d400000, 0x3f800000, 0x3fffffff, 0x40000000,
  0x3cc00000, 0x3f000000, 0x3f7fffff, 0x3f800000,
  0x3c400000, 0x3e800000, 0x3effffff, 0x3f000000,
  0x4e800000, 0x4effffff, 0x4f000000, 0x4f000000,
  0x4e000000, 0x4e7fffff, 0x4e800000, 0x4e800000,
  0x4d800000, 0x4dffffff, 0x4e000000, 0x4e000000,
  0x4d000000, 0x4d7fffff, 0x4d800000, 0x4d800000,
  0x4c800000, 0x4cffffff, 0x4d000000, 0x4d000000,
  0x4c000000, 0x4c7fffff, 0x4c800000, 0x4c800000,
  0x4b800000, 0x4bffffff, 0x4c000000, 0x4c000000,
  0x4b000000, 0x4b7fffff, 0x4b800000, 0x4b800000,
  0x4a800000, 0x4affffff, 0x4b000000, 0x4b000000,
  0x4a000000, 0x4a7fffff, 0x4a800000, 0x4a800000,
  0x49800000, 0x49ffffff, 0x4a000000, 0x4a000000,
  0x49000000, 0x497fffff, 0x49800000, 0x49800000,
  0x48800000, 0x48ffffff, 0x49000000, 0x49000000,
  0x48000000, 0x487fffff, 0x48800000, 0x48800000,
  0x47800000, 0x47ffffff, 0x48000000, 0x48000000,
  0x47000000, 0x477fffff, 0x47800000, 0x47800000,
  0x46800000, 0x46ffffff, 0x47000000, 0x47000000,
  0x46000000, 0x467fffff, 0x46800000, 0x46800000,
  0x45800000, 0x45ffffff, 0x46000000, 0x46000000,
  0x45000000, 0x457fffff, 0x45800000, 0x45800000,
  0x44800000, 0x44ffffff, 0x45000000, 0x45000000,
  0x44000000, 0x447fffff, 0x44800000, 0x44800000,
  0x43800000, 0x43ffffff, 0x44000000, 0x44000000,
  0x43000000, 0x437fffff, 0x43800000, 0x43800000,
  0x42800000, 0x42ffffff, 0x43000000, 0x43000000,
  0x42000000, 0x427fffff, 0x42800000, 0x42800000,
  0x41800000, 0x41ffffff, 0x42000000, 0x42000000,
  0x41000000, 0x417fffff, 0x41800000, 0x41800000,
  0x40800000, 0x40ffffff, 0x41000000, 0x41000000,
  0x40000000, 0x407fffff, 0x40800000, 0x40800000,
  0x3f800000, 0x3fffffff, 0x40000000, 0x40000000,
  0x3f000000, 0x3f7fffff, 0x3f800000, 0x3f800000,
  0x3e800000, 0x3effffff, 0x3f000000, 0x3f000000,
  0x4effffff, 0x4f000000, 0x4f000000, 0xcf000000,
  0x4e7fffff, 0x4e800000, 0x4e800000, 0xce800000,
  0x4dffffff, 0x4e000000, 0x4e000000, 0xce000000,
  0x4d7fffff, 0x4d800000, 0x4d800000, 0xcd800000,
  0x4cffffff, 0x4d000000, 0x4d000000, 0xcd000000,
  0x4c7fffff, 0x4c800000, 0x4c800000, 0xcc800000,
  0x4bffffff, 0x4c000000, 0x4c000000, 0xcc000000,
  0x4b7fffff, 0x4b800000, 0x4b800000, 0xcb800000,
  0x4affffff, 0x4b000000, 0x4b000000, 0xcb000000,
  0x4a7fffff, 0x4a800000, 0x4a800000, 0xca800000,
  0x49ffffff, 0x4a000000, 0x4a000000, 0xca000000,
  0x497fffff, 0x49800000, 0x49800000, 0xc9800000,
  0x48ffffff, 0x49000000, 0x49000000, 0xc9000000,
  0x487fffff, 0x48800000, 0x48800000, 0xc8800000,
  0x47ffffff, 0x48000000, 0x48000000, 0xc8000000,
  0x477fffff, 0x47800000, 0x47800000, 0xc7800000,
  0x46ffffff, 0x47000000, 0x47000000, 0xc7000000,
  0x467fffff, 0x46800000, 0x46800000, 0xc6800000,
  0x45ffffff, 0x46000000, 0x46000000, 0xc6000000,
  0x457fffff, 0x45800000, 0x45800000, 0xc5800000,
  0x44ffffff, 0x45000000, 0x45000000, 0xc5000000,
  0x447fffff, 0x44800000, 0x44800000, 0xc4800000,
  0x43ffffff, 0x44000000, 0x44000000, 0xc4000000,
  0x437fffff, 0x43800000, 0x43800000, 0xc3800000,
  0x42ffffff, 0x43000000, 0x43000000, 0xc3000000,
  0x427fffff, 0x42800000, 0x42800000, 0xc2800000,
  0x41ffffff, 0x42000000, 0x42000000, 0xc2000000,
  0x417fffff, 0x41800000, 0x41800000, 0xc1800000,
  0x40ffffff, 0x41000000, 0x41000000, 0xc1000000,
  0x407fffff, 0x40800000, 0x40800000, 0xc0800000,
  0x3fffffff, 0x40000000, 0x40000000, 0xc0000000,
  0x3f7fffff, 0x3f800000, 0x3f800000, 0xbf800000,
  0x3effffff, 0x3f000000, 0x3f000000, 0xbf000000,
  0x4f000000, 0x4f000000, 0xcf000000, 0xcefffffe,
  0x4e800000, 0x4e800000, 0xce800000, 0xce7ffffe,
  0x4e000000, 0x4e000000, 0xce000000, 0xcdfffffe,
  0x4d800000, 0x4d800000, 0xcd800000, 0xcd7ffffe,
  0x4d000000, 0x4d000000, 0xcd000000, 0xccfffffe,
  0x4c800000, 0x4c800000, 0xcc800000, 0xcc7ffffe,
  0x4c000000, 0x4c000000, 0xcc000000, 0xcbfffffe,
  0x4b800000, 0x4b800000, 0xcb800000, 0xcb7ffffe,
  0x4b000000, 0x4b000000, 0xcb000000, 0xcafffffe,
  0x4a800000, 0x4a800000, 0xca800000, 0xca7ffffe,
  0x4a000000, 0x4a000000, 0xca000000, 0xc9fffffe,
  0x49800000, 0x49800000, 0xc9800000, 0xc97ffffe,
  0x49000000, 0x49000000, 0xc9000000, 0xc8fffffe,
  0x48800000, 0x48800000, 0xc8800000, 0xc87ffffe,
  0x48000000, 0x48000000, 0xc8000000, 0xc7fffffe,
  0x47800000, 0x47800000, 0xc7800000, 0xc77ffffe,
  0x47000000, 0x47000000, 0xc7000000, 0xc6fffffe,
  0x46800000, 0x46800000, 0xc6800000, 0xc67ffffe,
  0x46000000, 0x46000000, 0xc6000000, 0xc5fffffe,
  0x45800000, 0x45800000, 0xc5800000, 0xc57ffffe,
  0x45000000, 0x45000000, 0xc5000000, 0xc4fffffe,
  0x44800000, 0x44800000, 0xc4800000, 0xc47ffffe,
  0x44000000, 0x44000000, 0xc4000000, 0xc3fffffe,
  0x43800000, 0x43800000, 0xc3800000, 0xc37ffffe,
  0x43000000, 0x43000000, 0xc3000000, 0xc2fffffe,
  0x42800000, 0x42800000, 0xc2800000, 0xc27ffffe,
  0x42000000, 0x42000000, 0xc2000000, 0xc1fffffe,
  0x41800000, 0x41800000, 0xc1800000, 0xc17ffffe,
  0x41000000, 0x41000000, 0xc1000000, 0xc0fffffe,
  0x40800000, 0x40800000, 0xc0800000, 0xc07ffffe,
  0x40000000, 0x40000000, 0xc0000000, 0xbffffffe,
  0x3f800000, 0x3f800000, 0xbf800000, 0xbf7ffffe,
  0x3f000000, 0x3f000000, 0xbf000000, 0xbefffffe,
  0x4f000000, 0xcf000000, 0xcefffffe, 0xc3800000,
  0x4e800000, 0xce800000, 0xce7ffffe, 0xc3000000,
  0x4e000000, 0xce000000, 0xcdfffffe, 0xc2800000,
  0x4d800000, 0xcd800000, 0xcd7ffffe, 0xc2000000,
  0x4d000000, 0xcd000000, 0xccfffffe, 0xc1800000,
  0x4c800000, 0xcc800000, 0xcc7ffffe, 0xc1000000,
  0x4c000000, 0xcc000000, 0xcbfffffe, 0xc0800000,
  0x4b800000, 0xcb800000, 0xcb7ffffe, 0xc0000000,
  0x4b000000, 0xcb000000, 0xcafffffe, 0xbf800000,
  0x4a800000, 0xca800000, 0xca7ffffe, 0xbf000000,
  0x4a000000, 0xca000000, 0xc9fffffe, 0xbe800000,
  0x49800000, 0xc9800000, 0xc97ffffe, 0xbe000000,
  0x49000000, 0xc9000000, 0xc8fffffe, 0xbd800000,
  0x48800000, 0xc8800000, 0xc87ffffe, 0xbd000000,
  0x48000000, 0xc8000000, 0xc7fffffe, 0xbc800000,
  0x47800000, 0xc7800000, 0xc77ffffe, 0xbc000000,
  0x47000000, 0xc7000000, 0xc6fffffe, 0xbb800000,
  0x46800000, 0xc6800000, 0xc67ffffe, 0xbb000000,
  0x46000000, 0xc6000000, 0xc5fffffe, 0xba800000,
  0x45800000, 0xc5800000, 0xc57ffffe, 0xba000000,
  0x45000000, 0xc5000000, 0xc4fffffe, 0xb9800000,
  0x44800000, 0xc4800000, 0xc47ffffe, 0xb9000000,
  0x44000000, 0xc4000000, 0xc3fffffe, 0xb8800000,
  0x43800000, 0xc3800000, 0xc37ffffe, 0xb8000000,
  0x43000000, 0xc3000000, 0xc2fffffe, 0xb7800000,
  0x42800000, 0xc2800000, 0xc27ffffe, 0xb7000000,
  0x42000000, 0xc2000000, 0xc1fffffe, 0xb6800000,
  0x41800000, 0xc1800000, 0xc17ffffe, 0xb6000000,
  0x41000000, 0xc1000000, 0xc0fffffe, 0xb5800000,
  0x40800000, 0xc0800000, 0xc07ffffe, 0xb5000000,
  0x40000000, 0xc0000000, 0xbffffffe, 0xb4800000,
  0x3f800000, 0xbf800000, 0xbf7ffffe, 0xb4000000,
  0x3f000000, 0xbf000000, 0xbefffffe, 0xb3800000,
  0xcf000000, 0xcefffffe, 0xc3800000, 0xc3000000,
  0xce800000, 0xce7ffffe, 0xc3000000, 0xc2800000,
  0xce000000, 0xcdfffffe, 0xc2800000, 0xc2000000,
  0xcd800000, 0xcd7ffffe, 0xc2000000, 0xc1800000,
  0xcd000000, 0xccfffffe, 0xc1800000, 0xc1000000,
  0xcc800000, 0xcc7ffffe, 0xc1000000, 0xc0800000,
  0xcc000000, 0xcbfffffe, 0xc0800000, 0xc0000000,
  0xcb800000, 0xcb7ffffe, 0xc0000000, 0xbf800000,
  0xcb000000, 0xcafffffe, 0xbf800000, 0xbf000000,
  0xca800000, 0xca7ffffe, 0xbf000000, 0xbe800000,
  0xca000000, 0xc9fffffe, 0xbe800000, 0xbe000000,
  0xc9800000, 0xc97ffffe, 0xbe000000, 0xbd800000,
  0xc9000000, 0xc8fffffe, 0xbd800000, 0xbd000000,
  0xc8800000, 0xc87ffffe, 0xbd000000, 0xbc800000,
  0xc8000000, 0xc7fffffe, 0xbc800000, 0xbc000000,
  0xc7800000, 0xc77ffffe, 0xbc000000, 0xbb800000,
  0xc7000000, 0xc6fffffe, 0xbb800000, 0xbb000000,
  0xc6800000, 0xc67ffffe, 0xbb000000, 0xba800000,
  0xc6000000, 0xc5fffffe, 0xba800000, 0xba000000,
  0xc5800000, 0xc57ffffe, 0xba000000, 0xb9800000,
  0xc5000000, 0xc4fffffe, 0xb9800000, 0xb9000000,
  0xc4800000, 0xc47ffffe, 0xb9000000, 0xb8800000,
  0xc4000000, 0xc3fffffe, 0xb8800000, 0xb8000000,
  0xc3800000, 0xc37ffffe, 0xb8000000, 0xb7800000,
  0xc3000000, 0xc2fffffe, 0xb7800000, 0xb7000000,
  0xc2800000, 0xc27ffffe, 0xb7000000, 0xb6800000,
  0xc2000000, 0xc1fffffe, 0xb6800000, 0xb6000000,
  0xc1800000, 0xc17ffffe, 0xb6000000, 0xb5800000,
  0xc1000000, 0xc0fffffe, 0xb5800000, 0xb5000000,
  0xc0800000, 0xc07ffffe, 0xb5000000, 0xb4800000,
  0xc0000000, 0xbffffffe, 0xb4800000, 0xb4000000,
  0xbf800000, 0xbf7ffffe, 0xb4000000, 0xb3800000,
  0xbf000000, 0xbefffffe, 0xb3800000, 0xb3000000,
  0xcefffffe, 0xc3800000, 0xc3000000, 0xbf800000,
  0xce7ffffe, 0xc3000000, 0xc2800000, 0xbf000000,
  0xcdfffffe, 0xc2800000, 0xc2000000, 0xbe800000,
  0xcd7ffffe, 0xc2000000, 0xc1800000, 0xbe000000,
  0xccfffffe, 0xc1800000, 0xc1000000, 0xbd800000,
  0xcc7ffffe, 0xc1000000, 0xc0800000, 0xbd000000,
  0xcbfffffe, 0xc0800000, 0xc0000000, 0xbc800000,
  0xcb7ffffe, 0xc0000000, 0xbf800000, 0xbc000000,
  0xcafffffe, 0xbf800000, 0xbf000000, 0xbb800000,
  0xca7ffffe, 0xbf000000, 0xbe800000, 0xbb000000,
  0xc9fffffe, 0xbe800000, 0xbe000000, 0xba800000,
  0xc97ffffe, 0xbe000000, 0xbd800000, 0xba000000,
  0xc8fffffe, 0xbd800000, 0xbd000000, 0xb9800000,
  0xc87ffffe, 0xbd000000, 0xbc800000, 0xb9000000,
  0xc7fffffe, 0xbc800000, 0xbc000000, 0xb8800000,
  0xc77ffffe, 0xbc000000, 0xbb800000, 0xb8000000,
  0xc6fffffe, 0xbb800000, 0xbb000000, 0xb7800000,
  0xc67ffffe, 0xbb000000, 0xba800000, 0xb7000000,
  0xc5fffffe, 0xba800000, 0xba000000, 0xb6800000,
  0xc57ffffe, 0xba000000, 0xb9800000, 0xb6000000,
  0xc4fffffe, 0xb9800000, 0xb9000000, 0xb5800000,
  0xc47ffffe, 0xb9000000, 0xb8800000, 0xb5000000,
  0xc3fffffe, 0xb8800000, 0xb8000000, 0xb4800000,
  0xc37ffffe, 0xb8000000, 0xb7800000, 0xb4000000,
  0xc2fffffe, 0xb7800000, 0xb7000000, 0xb3800000,
  0xc27ffffe, 0xb7000000, 0xb6800000, 0xb3000000,
  0xc1fffffe, 0xb6800000, 0xb6000000, 0xb2800000,
  0xc17ffffe, 0xb6000000, 0xb5800000, 0xb2000000,
  0xc0fffffe, 0xb5800000, 0xb5000000, 0xb1800000,
  0xc07ffffe, 0xb5000000, 0xb4800000, 0xb1000000,
  0xbffffffe, 0xb4800000, 0xb4000000, 0xb0800000,
  0xbf7ffffe, 0xb4000000, 0xb3800000, 0xb0000000,
  0xbefffffe, 0xb3800000, 0xb3000000, 0xaf800000,
  0xc3800000, 0xc3000000, 0xbf800000, 0xbf800000,
  0xc3000000, 0xc2800000, 0xbf000000, 0xbf000000,
  0xc2800000, 0xc2000000, 0xbe800000, 0xbe800000,
  0xc2000000, 0xc1800000, 0xbe000000, 0xbe000000,
  0xc1800000, 0xc1000000, 0xbd800000, 0xbd800000,
  0xc1000000, 0xc0800000, 0xbd000000, 0xbd000000,
  0xc0800000, 0xc0000000, 0xbc800000, 0xbc800000,
  0xc0000000, 0xbf800000, 0xbc000000, 0xbc000000,
  0xbf800000, 0xbf000000, 0xbb800000, 0xbb800000,
  0xbf000000, 0xbe800000, 0xbb000000, 0xbb000000,
  0xbe800000, 0xbe000000, 0xba800000, 0xba800000,
  0xbe000000, 0xbd800000, 0xba000000, 0xba000000,
  0xbd800000, 0xbd000000, 0xb9800000, 0xb9800000,
  0xbd000000, 0xbc800000, 0xb9000000, 0xb9000000,
  0xbc800000, 0xbc000000, 0xb8800000, 0xb8800000,
  0xbc000000, 0xbb800000, 0xb8000000, 0xb8000000,
  0xbb800000, 0xbb000000, 0xb7800000, 0xb7800000,
  0xbb000000, 0xba800000, 0xb7000000, 0xb7000000,
  0xba800000, 0xba000000, 0xb6800000, 0xb6800000,
  0xba000000, 0xb9800000, 0xb6000000, 0xb6000000,
  0xb9800000, 0xb9000000, 0xb5800000, 0xb5800000,
  0xb9000000, 0xb8800000, 0xb5000000, 0xb5000000,
  0xb8800000, 0xb8000000, 0xb4800000, 0xb4800000,
  0xb8000000, 0xb7800000, 0xb4000000, 0xb4000000,
  0xb7800000, 0xb7000000, 0xb3800000, 0xb3800000,
  0xb7000000, 0xb6800000, 0xb3000000, 0xb3000000,
  0xb6800000, 0xb6000000, 0xb2800000, 0xb2800000,
  0xb6000000, 0xb5800000, 0xb2000000, 0xb2000000,
  0xb5800000, 0xb5000000, 0xb1800000, 0xb1800000,
  0xb5000000, 0xb4800000, 0xb1000000, 0xb1000000,
  0xb4800000, 0xb4000000, 0xb0800000, 0xb0800000,
  0xb4000000, 0xb3800000, 0xb0000000, 0xb0000000,
  0xb3800000, 0xb3000000, 0xaf800000, 0xaf800000,
};
const unsigned kExpectedCount_NEON_scvtf_4S_2OPIMM = 1815;

#endif  // VIXL_SIM_SCVTF_4S_2OPIMM_TRACE_AARCH64_H_
